mathlib

72ac40e9 - feat(data/multiset/basic): add some lemmas (#14421)