Commit 2024-04-17 13:43 6efcbba1
View on Github →feat: codimension two subspaces have path-connected complement (#11337) From sphere-eversion (not written by me). This basically shows that subspaces of codimension at least two are ample sets (PRed in #11342).