Theorem Monoid.Coprod.closure_range_inl_union_inr

Modification history