Theorem Monoid.exponent_eq_iSup_orderOf

Modification history