Theorem Monoid.Coprod.map_apply_inl

Modification history