mathlib3

fix(data/multiset): remove duplicate setoid instance

#1027

Merged