Theorem Monoid.Coprod.lift_comp_swap

Modification history