Theorem Monoid.exponent_eq_of_mulEquiv

Modification history