Mathlib Changelog
v3
Changelog
About
Github
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
topology/uniform_space.lean
modified
def
id_rel
modified
theorem
supr_uniformity
modified
theorem
to_topological_space_supr
modified
theorem
uniform_embedding_prod
modified
theorem
uniform_embedding_subtype_emb
modified
theorem
uniform_extend_subtype