Documentation

Lean.Elab.PreDefinition.Eqns

structure Lean.Elab.Eqns.EqnInfoCore :
Type
Equations
Equations
Equations
Equations
Equations
structure Lean.Elab.Eqns.Context :
Type
Equations
Equations
Equations
Equations
Equations
Equations
Equations
Equations
partial def Lean.Elab.Eqns.mkUnfoldProof.go (declName : Lean.Name) (tryEqns : Lean.MVarIdLean.MetaM Bool) (mvarId : Lean.MVarId) :
Equations
Equations