Theorem isCyclic_of_injective

Modification history

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 →