Theorem Monoid.Coprod.lift_inl

Modification history