Documentation

Lean.Elab.Deriving.Inhabited