Theorem Monoid.CoprodI.iSup_mrange_of

Modification history