Theorem ZMod.minOrder_of_prime

Modification history

2023-11-15 15:04
Mathlib/GroupTheory/Order/Min.lean
feat: Minimum torsion of a group (#8411) …
Added ZMod.minOrder_of_primeView on Github →