Theorem Monoid.Coprod.swap_bijective

Modification history