Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-31 11:57 0433eb62

View on Github →

doc(topology/uniform_space/uniform_embedding): add some docs (#10045)

Estimated changes