Commit 2024-06-06 16:20 562c80b0
View on Github →feat: complements of codimension at least two subspaces are ample (#11342) From the sphere-eversion project.
<!-- The text above the `feat: complements of codimension at least two subspaces are ample (#11342) From the sphere-eversion project.
<!-- The text above the `