Theorem Monoid.Coprod.snd_comp_toProd

Modification history