mathlib3

fix(topology/uniform_space): sanity_check pass

#1364

Merged