Theorem Monoid.Coprod.snd_surjective

Modification history