Theorem Monoid.Coprod.fst_comp_inr

Modification history