[Merged by Bors] - chore(Topology/UniformSpace): rename uniformContinuous_iff to uniformContinuous_iff_le_comap#39762

plp127 wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

plp127:aliu/uniformContinuousplp127/mathlib4:aliu/uniformContinuousCopy head branch name to clipboard