Theorem isAddCyclic_additive_iff

Modification history

2023-11-28 08:56
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat: add some results about IsCyclic (#8625) …
Added isAddCyclic_additive_iffView on Github →