Theorem Monoid.Coprod.fst_toProd

Modification history