Theorem Monoid.Coprod.lift_inr_inl

Modification history