Theorem Monoid.Coprod.lift_mrange_le

Modification history