Commit 2023-10-26 13:37 e43f3621
View on Github →feat: path-connectedness is preserved by homeomorphisms (#7878) Mirrors the corresponding proofs for connectedness.
feat: path-connectedness is preserved by homeomorphisms (#7878) Mirrors the corresponding proofs for connectedness.