Theorem Multiset.map_congr

Modification history