mathlib3

4aa3eee4 - chore(*): add inhabited instances (#1898)

chore(*): add inhabited instances (#1898) * chore(*): add inhabited instances * Fix linting errors. Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>