Documentation

Lean.Meta.Tactic.Grind.Arith.Linear.Var

source
def Lean.Meta.Grind.Arith.Linear.mkVar (e : Expr) (mark : Bool := true) :
LinearM Var
Equations
    Instances For