Documentation
Lean.PrettyPrinter.Delaborator
Google site search
Lean.PrettyPrinter.Delaborator
source
Imports
Init
Lean.PrettyPrinter.Delaborator.Basic
Lean.PrettyPrinter.Delaborator.Builtins
Lean.PrettyPrinter.Delaborator.Options
Lean.PrettyPrinter.Delaborator.SubExpr
Lean.PrettyPrinter.Delaborator.TopDownAnalyze
Imported by