Theorem Monoid.Coprod.toProd_apply_inl

Modification history