mathlib

937a36ee - feat(data/{multiset/dedup, finset/basic}): add some lemmas about `multiset.dedup` (#16230)