def
Lean.Elab.WF.mkFix
(preDef : Lean.Elab.PreDefinition)
(prefixArgs : Array Lean.Expr)
(wfRel : Lean.Expr)
(decrTactic? : Option Lean.Syntax)
:
Equations
- One or more equations did not get rendered due to their size.
Lean.Elab.PreDefinition.WF.Fix