Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-08 10:26 69966de7

View on Github →

doc(topology/uniform_space/abstract_completion): typo (#18399)

Estimated changes