mathlib3

ac7a356a - chore(set_theory/*): Fix lint (#13399)

chore(set_theory/*): Fix lint (#13399) Add missing docstrings and `inhabited` instances or a `nolint` when an `inhabited` instance isn't reasonable.