Theorem nonempty_invertible_iff_is_unit

Modification history

2022-12-23 13:50
Mathlib/Algebra/Invertible.lean
chore: fix casing per naming scheme (#1183) …
Deleted nonempty_invertible_iff_is_unitView on Github →
2022-12-10 13:15
Mathlib/Algebra/Invertible.lean
feat port: Algebra.Invertible (#930) …
Added nonempty_invertible_iff_is_unitView on Github →