Theorem Monoid.exponent_pos_of_exists

Modification history