Documentation

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

← Mathematical handbook
source
def Lean.Meta.Grind.Arith.Linear.mkVar (e : Expr) (mark : Bool := true) :
LinearM Var
Equations
  • One or more equations did not get rendered due to their size.
Instances For