Theorem Monoid.Coprod.prod_mk_fst_snd

Modification history