mathlib3

fix(topology/uniform_space): simplify continuity proof

#1396

Merged