Theorem isAddCyclic_additive_iff

Modification history

2026-03-23 15:54
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
chore(GroupTheory/SpecificGroups/Cyclic/Basic): refactor (#36983) …
Modified isAddCyclic_additive_iffView on Github →
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 →