Theorem Monoid.Coprod.swap_injective

Modification history