Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Lean.Elab.Structural.addSmartUnfoldingDef
(docCtx : LocalContext × LocalInstances)
(preDef : PreDefinition)
(recArgPos : Nat)
:
Equations
- One or more equations did not get rendered due to their size.