Theorem isAddCyclic_additive_iff

Modification history

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