Theorem Multiset.map_comp_coe

Modification history