Theorem Monoid.Coprod.snd_swap

Modification history