mathlib3

ce8a6ca0 - refactor(data/multiset/basic): consistently use 'nsmul' in names (#6735)