mathlib

228b2781 - Merge branch 'multiset_tweaks' into multiset_lemmas