Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-27 16:54 db0b5669

View on Github →

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

Estimated changes

Modified src/data/set/basic.lean

modified theorem set.sum.elim_range

added theorem sum.range_eq