Documentation

Lean.Data.Format

def Std.Format.pretty' (f : Format) (o : Lean.Options := { entries := [] }) :
Equations
Equations
  • One or more equations did not get rendered due to their size.