Commit 2024-01-11 11:03 c532ace0

View on Github →

feat: two topology lemmas (#9624) From sphere-eversion; I'm just upstreaming it.

Estimated changes