Theorem isCyclic_of_injective

Modification history

2026-03-23 15:54
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
chore(GroupTheory/SpecificGroups/Cyclic/Basic): refactor (#36983) …
Modified isCyclic_of_injectiveView on Github →
2024-12-20 16:26
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups/Cyclic): Add `isCyclic_of_injective` (#20103) …
Added isCyclic_of_injectiveView on Github →