Theorem Monoid.Coprod.toProd_apply_inr

Modification history