Theorem Monoid.exponent_eq_prime_iff

Modification history