Theorem Monoid.Coprod.map_comp_inr

Modification history