Theorem Monoid.Coprod.map_apply_inr

Modification history