chore(data/multiset/basic): `∅` → `0` (#14211)
chore(data/multiset/basic): `∅` → `0` (#14211)

It's preferred to use `0` instead of `∅` throughout the multiset API.





leanprover-community/mathlib,leanprover-community/mathlib