Theorem Monoid.Coprod.swap_inr

Modification history