Theorem Monoid.Coprod.swap_comp_inl

Modification history