Documentation

Lean.Meta.Sym.Simp.Lambda

source
def Lean.Meta.Sym.Simp.simpLambda' (simpBody : Simproc) (e : Expr) :
SimpM Result
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Lean.Meta.Sym.Simp.simpLambda :
    Simproc
    Equations
    Instances For