mathlib

7df0e350 - chore(topology): sanity_check pass (#1510)

chore(topology): sanity_check pass (#1510) * chore(topology): sanity_check pass * fix(topology/uniform_space/separation): fix build * fix(topology/metric_space): some more namespace fixes