mathlib3

857842d0 - feat(data/finsupp): add support_mul