feat(data/multiset/basic): Add a result on intersection of multiset with `repeat a n` (#9038)
feat(data/multiset/basic): Add a result on intersection of multiset with `repeat a n` (#9038)






leanprover-community/mathlib,leanprover-community/mathlib