Theorem Monoid.Coprod.swap_inl

Modification history