Theorem Monoid.Coprod.mk_of_inr

Modification history