Theorem Multiset.map_le_map

Modification history