Theorem Monoid.Coprod.swap_comp_inr

Modification history