mathlib

126a7b6e - feat(data/multiset/basic): add_eq_union_iff_disjoint (#8173)