mathlib
96ba8b6a - chore(topology/uniform_space/pi): add `uniform_continuous_pi` (#9743)

Commit

4 years ago

chore(topology/uniform_space/pi): add `uniform_continuous_pi` (#9743)

Author

urkud

urkud

Parents

Loading