Theorem isCyclic_of_card_dvd_prime

Modification history

2024-11-15 10:35

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

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

Modified isCyclic_of_card_dvd_prime View on Github →

2024-07-17 06:20

Mathlib/GroupTheory/SpecificGroups/Cyclic.lean

refactor(GroupTheory/PGroup,Sylow): Replace Fintype.card with Nat.card (#14789) …

Added isCyclic_of_card_dvd_prime View on Github →