mathlib

db0b5669 - feat(data/set/basic): add `sum.range_eq` (#17159)