Documentation

Lean.Meta.Sym.Simp.Lambda

source
def Lean.Meta.Sym.Simp.simpLambda' (simpBody : Simproc) (e : Expr) :
SimpM Result
Instances For
    source
    def Lean.Meta.Sym.Simp.simpLambda :
    Simproc
    Instances For