Theorem Subgroup.isCyclic_of_le

Modification history

2026-03-23 15:54
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
chore(GroupTheory/SpecificGroups/Cyclic/Basic): refactor (#36983) …
Modified Subgroup.isCyclic_of_leView on Github →
2024-12-20 16:26
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups/Cyclic): Add `isCyclic_of_injective` (#20103) …
Modified Subgroup.isCyclic_of_leView on Github →
2024-11-15 10:35
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
refactor(GroupTheory/SpecificGroups/Cyclic): Use variables (#19075) …
Modified Subgroup.isCyclic_of_leView on Github →
2024-11-06 07:46
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(RingTheory/RootsOfUnity/EnoughRootsOfUnity): new file (#18681) …
Added Subgroup.isCyclic_of_leView on Github →