Theorem Monoid.Coprod.swap_surjective

Modification history