Theorem isUnit_iff_exists

Modification history

2024-02-22 12:56
Mathlib/Algebra/Group/Units.lean
feat: cyclic group lemmas (#10832) …
Added isUnit_iff_existsView on Github →