Commit 2023-08-31 11:52 23550c1e

View on Github →

feat: the complement of a countable set is path-connected in dimension > 1 (#6690) Also show that spheres are path-connected in dimension > 1.

Estimated changes