Theorem Monoid.Coprod.lift_inl_inr

Modification history