Theorem Monoid.Coprod.lift_swap

Modification history