Theorem Monoid.Coprod.mk_surjective

Modification history