Theorem Monoid.orderOf_le_exponent

Modification history