Theorem Monoid.exponent_dvd_of_forall_pow_eq_one

Modification history