Commit 2024-01-27 11:43 ae8f621c
View on Github →feat: four small lemmas about extended charts (#10001) From sphere-eversion; I'm just submitting them.
feat: four small lemmas about extended charts (#10001) From sphere-eversion; I'm just submitting them.