Theorem Monoid.Coprod.clift_apply_inl

Modification history