Mathlib v3 is deprecated. Go to Mathlib v4

Def uniform_space.mk'

Modification history

2018-02-06 17:03
analysis/topology/uniform_space.lean
fix(*): update to lean …
Added uniform_space.mk'View on Github →