mathlib3

b93c330a - Merge branch 'multiset_lemmas' into finset_lemmas