Theorem Monoid.exponent_eq_iSup_orderOf'

Modification history