Theorem not_isCyclic_iff_exponent_eq_prime

Modification history

2023-12-12 23:03
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat: primality criteria for `Monoid.exponent` (#8723) …
Added not_isCyclic_iff_exponent_eq_primeView on Github →