Theorem Monoid.Coprod.snd_comp_swap

Modification history