Documentation
Lean.Elab.Deriving.TypeName
Google site search
Lean.Elab.Deriving.TypeName
source
Imports
Init
Lean.Elab.Deriving.Basic
Imported by