Theorem Monoid.exponent_pos

Modification history