Theorem Monoid.Coprod.snd_toProd

Modification history