Theorem Monoid.Coprod.lift_apply_inl

Modification history