Documentation

Lean.Meta.Sym.Simp.Simproc

source
@[reducible, inline]
abbrev Lean.Meta.Sym.Simp.Simproc.andThen (f g : Simproc) :
Simproc
Equations
    Instances For
      source
      instance Lean.Meta.Sym.Simp.instAndThenSimproc :
      AndThen Simproc
      Equations