Theorem Monoid.one_lt_exponent

Modification history