Theorem Monoid.exponent_eq_max'_orderOf

Modification history