[Merged by Bors] - feat(Data/Finsupp): support of mapDomain is image of support if nonneg - #43610

[Merged by Bors] - feat(Data/Finsupp): support of mapDomain is image of support if nonneg#43610

YaelDillies wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:support_map_domain_of_nonnegYaelDillies/mathlib4:support_map_domain_of_nonnegCopy head branch name to clipboard