Theorem Monoid.Coprod.mk_of_inl

Modification history