Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-27 18:04 0f601d09

View on Github →

feat(data/finsupp/defs): add map_range_neg and map_range_sub (#17717)

Estimated changes

Modified src/data/finsupp/defs.lean

added theorem finsupp.map_range_neg

added theorem finsupp.map_range_sub

modified theorem finsupp.neg_apply

modified theorem finsupp.sub_apply