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.

partial def Lean.Meta.Linear.isLinearCnstr (e : Lean.Expr) : Bool

Quick filter for linear constraints.