mathlib
69966de7 - doc(topology/uniform_space/abstract_completion): typo (#18399)

Commit

2 years ago

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

Author

mcdoll

mcdoll

Parents

Loading