Theorem Monoid.Coprod.mrange_lift

Modification history