Commit 2023-12-25 15:55 42ab70e7

View on Github →

feat: (partial) homeomorphisms are local homeomorphisms (#9246)

Estimated changes