Documentation

Lean.Meta.Tactic.LinearArith.Simp

source
def Lean.Meta.Linear.parentIsTarget (parent? : Option Lean.Expr) :
Bool
Instances For
    source
    def Lean.Meta.Linear.simp? (e : Lean.Expr) (parent? : Option Lean.Expr) :
    Lean.MetaM (Option (Lean.Expr × Lean.Expr))
    Instances For