mathlib
6a48b384 - feat(topology/uniform_space): lemmas about `s ○ s ○ ... ○ s ⊆ t` (#14051)

Commit

3 years ago

feat(topology/uniform_space): lemmas about `s ○ s ○ ... ○ s ⊆ t` (#14051)

Author

urkud

urkud

Parents

Loading