def Lean.Elab.WF.mkFix (preDef : Lean.Elab.PreDefinition) (prefixArgs : Array Lean.Expr) (wfRel : Lean.Expr) (decrTactic? : Option Lean.Syntax) : Lean.Elab.TermElabM Lean.Expr

Equations

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