Theorem Multiset.attach_map_val

Modification history