Documentation

Lean.Meta.Tactic.LinearArith.Basic

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

Quick filter for linear terms.

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

    Quick filter for linear constraints.