Revert "chore(data/multiset): add a few lemmas"
Revert "chore(data/multiset): add a few lemmas"

This reverts commit 45caa4f392fe4f7622fef576cf3811b9ff6fd307.

leanprover-community/mathlib,leanprover-community/mathlib