Theorem Monoid.Coprod.inl_apply

Modification history