Documentation
Lean
.
Elab
.
Deriving
Search
return to top
source
Imports
Lean.Elab.Deriving.BEq
Lean.Elab.Deriving.Basic
Lean.Elab.Deriving.DecEq
Lean.Elab.Deriving.FromToJson
Lean.Elab.Deriving.Hashable
Lean.Elab.Deriving.Inhabited
Lean.Elab.Deriving.LawfulBEq
Lean.Elab.Deriving.Nonempty
Lean.Elab.Deriving.Ord
Lean.Elab.Deriving.ReflBEq
Lean.Elab.Deriving.Repr
Lean.Elab.Deriving.SizeOf
Lean.Elab.Deriving.ToExpr
Lean.Elab.Deriving.TypeName
Lean.Elab.Deriving.Util
Imported by
← Mathematical handbook