Theorem Monoid.Coprod.map_comp_map

Modification history