Theorem Monoid.Coprod.mker_swap

Modification history