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