Theorem isCyclic_of_surjective

Modification history

2024-11-15 10:35
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
refactor(GroupTheory/SpecificGroups/Cyclic): Use variables (#19075) …
Modified isCyclic_of_surjectiveView on Github →
2023-11-28 08:56
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat: add some results about IsCyclic (#8625) …
Added isCyclic_of_surjectiveView on Github →