Theorem Monoid.Coprod.inr_apply

Modification history