Commit 2024-01-16 21:01 551d3697

View on Github →

feat: subset of a charted space is open iff each image in charts is (#9672) From sphere-eversion; I just cleaned it up slightly and submitted it.

Estimated changes