Theorem Monoid.exponent_dvd_of_monoidHom

Modification history