Theorem Monoid.Coprod.mrange_eq_sup

Modification history