PR #1364 fix(topology/uniform_space): sanity_check pass

Commits

fix(topology/uniform_space): sanity_check pass

Patrick Massot committed 6 years ago
Merge branch 'master' into sanity-uniform-space

mergify[bot] committed 6 years ago

mathlib3 fix(topology/uniform_space): sanity_check pass #1364 Merged