Documentation

Lean.Meta.Sym.Simp.Forall

source
def Lean.Meta.Sym.Simp.simpArrow (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.simpForall (e : Expr) :
    SimpM Result
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For