topology): generalize a few lemmas (#13656)

Commit

3 years ago

chore(analysis/convex/topology): generalize a few lemmas (#13656) This way they work for `𝕜 = ℚ` too.

Author

urkud

Parents