Theorem Monoid.Coprod.fst_comp_inl

Modification history