Theorem Monoid.Coprod.fst_prod_snd

Modification history