Theorem Monoid.Coprod.map_comp_inl

Modification history