Theorem Monoid.exponent_min'

Modification history