def Lean.Elab.Tactic.Conv.applySimpResult (result : Lean.Meta.Simp.Result) : Lean.Elab.Tactic.TacticM Unit

Equations

• One or more equations did not get rendered due to their size.

def Lean.Elab.Tactic.Conv.evalSimp : Lean.Elab.Tactic.Tactic

Equations

• One or more equations did not get rendered due to their size.

def Lean.Elab.Tactic.Conv.evalSimpMatch : Lean.Elab.Tactic.Tactic

Equations

• One or more equations did not get rendered due to their size.

def Lean.Elab.Tactic.Conv.evalDSimp : Lean.Elab.Tactic.Tactic

Equations

• One or more equations did not get rendered due to their size.