Theorem Monoid.Coprod.range_inl_sup_range_inr

Modification history