chore(Data/Finsupp): make mapDomain_congr congr#39575

YaelDillies wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

YaelDillies:map_domain_congrYaelDillies/mathlib4:map_domain_congrCopy head branch name to clipboard