Theorem Monoid.Coprod.swap_swap

Modification history