Theorem Monoid.Coprod.snd_apply_inl

Modification history