Theorem Monoid.exponent_min

Modification history