Theorem Subgroup.isCyclic_of_le

Modification history

2024-12-20 16:26

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

feat(GroupTheory/SpecificGroups/Cyclic): Add `isCyclic_of_injective` (#20103) …

Modified Subgroup.isCyclic_of_le View on Github →

2024-11-15 10:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

refactor(GroupTheory/SpecificGroups/Cyclic): Use variables (#19075) …

Modified Subgroup.isCyclic_of_le View on Github →

2024-11-06 07:46

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

feat(RingTheory/RootsOfUnity/EnoughRootsOfUnity): new file (#18681) …

Added Subgroup.isCyclic_of_le View on Github →