Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-05 19:32 c6747eea

View on Github →

chore(topology/uniform_space): use Type* and Sort*

Estimated changes

modified def id_rel
modified theorem supr_uniformity
modified theorem to_topological_space_supr
modified theorem uniform_embedding_prod
modified theorem uniform_extend_subtype