feat(topology/uniform_space/basic): uniform continuity from/to an infimum of uniform spaces (#14892)
feat(topology/uniform_space/basic): uniform continuity from/to an infimum of uniform spaces (#14892)

This adds uniform versions of various topological lemmas about continuity from/to infimas of topological spaces



Co-authored-by: Eric Wieser <da64e90baec5d084ce3d8e05f3b022ae6d118ff5@gmail.com>

leanprover-community/mathlib,leanprover-community/mathlib