mathlib3

6f38c145 - chore(data/finsupp/pointwise): add missing `finsupp.mul_zero_class` (#7049)