Documentation
Lean
.
PrettyPrinter
.
Delaborator
Search
return to top
source
Imports
Lean.PrettyPrinter.Delaborator.Basic
Lean.PrettyPrinter.Delaborator.Builtins
Lean.PrettyPrinter.Delaborator.Options
Lean.PrettyPrinter.Delaborator.SubExpr
Lean.PrettyPrinter.Delaborator.TopDownAnalyze
Imported by
← Mathematical handbook