Theorem Monoid.Coprod.toProd_comp_inl

Modification history