Theorem Monoid.Coprod.toProd_comp_inr

Modification history