Theorem Monoid.Coprod.fst_comp_toProd

Modification history