topology): improve some lemmas (#13136)

Commit

3 years ago

feat(analysis/convex/topology): improve some lemmas (#13136) Replace some `s` with `closure s` in the LHS of `⊆` in some lemmas.

Author

urkud

Parents