Theorem Monoid.Coprod.lift_comp_inl

Modification history