Theorem Monoid.Coprod.toProd_surjective

Modification history