Theorem Monoid.Coprod.fst_apply_inl

Modification history