Theorem Monoid.Coprod.swap_inj

Modification history