[Merged by Bors] - chore(Topology): Generalised some of the instances for Function.locallyFinsuppWithin #35807

Raph-DG wants to merge 11 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

Raph-DG:Raph-DG-locallyFinSuppInstancesRaph-DG/mathlib4:Raph-DG-locallyFinSuppInstancesCopy head branch name to clipboard