Theorem Subgroup.eq_bot_or_eq_top_of_prime_card
Modification history
2024-11-18 09:35
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
refactor(GroupTheory/SpecificGroups/Cyclic): Switch from `Fintype` to `Finite` (#19109) …
Modified Subgroup.eq_bot_or_eq_top_of_prime_cardView on Github →