mathlib3

feat(data/multiset): map_eq_map_of_bij_of_nodup

#1590

Merged