Documentation

Lean.Meta.Tactic.LinearArith.Basic

source
def Lean.Meta.Linear.isLinearTerm (e : Lean.Expr) :
Bool

Quick filter for linear terms.

Equations
  • One or more equations did not get rendered due to their size.
source
partial def Lean.Meta.Linear.isLinearCnstr (e : Lean.Expr) :
Bool

Quick filter for linear constraints.