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.
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.