Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lean.Elab.Command.elabPrintSig stx = Lean.withRef stx[0] (have id := stx[2]; Lean.Elab.Command.printIdSig✝ id)
Instances For
Equations
- One or more equations did not get rendered due to their size.