Theorem Monoid.Coprod.fst_surjective

Modification history