Theorem Multiset.map_eq_map_of_bij_of_nodup

Modification history