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.

Estimated changes