[Merged by Bors] - feat(Topology/ContinuousMap): add coeFnCLM - #43746

[Merged by Bors] - feat(Topology/ContinuousMap): add coeFnCLM#43746

yuanyi-350 wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

yuanyi-350:feat/continuous-map-coe-fn-clmyuanyi-350/yuanyi-mathlib4:feat/continuous-map-coe-fn-clmCopy head branch name to clipboard