mathlib

18936e55 - feat(topology/uniform_space/equiv): define uniform isomorphisms (#14537)

feat(topology/uniform_space/equiv): define uniform isomorphisms (#14537) This adds a new file, mostly copy-pasted from `topology/homeomorph`, to analogously define uniform isomorphisms