mathlib3
1499a80b - feat(topology/uniform_space): ulift as a uniform equiv (#17451)

Commit

3 years ago

feat(topology/uniform_space): ulift as a uniform equiv (#17451)

Author

sgouezel

sgouezel

Parents

Loading