mathlib3

7043a4ab - feat(algebra/pointwise): pointwise addition and multiplication of sets (#854)