Documentation

Lean.Meta.Sym.Simp.Forall

source
def Lean.Meta.Sym.Simp.simpArrow (e : Expr) :
SimpM Result
Equations
    Instances For
      source
      def Lean.Meta.Sym.Simp.simpForall (e : Expr) :
      SimpM Result
      Equations
        Instances For