Commit 2023-10-05 21:41 167880ba

View on Github →

feat: open subsets of locally connected spaces are locally connected (#7530)

Estimated changes