Theorem Monoid.CoprodI.mrange_eq_iSup

Modification history