Theorem Monoid.Coprod.snd_apply_inr

Modification history