mathlib3

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