Commit 2023-12-25 18:43 93e820f3

View on Github →

feat: bijective local homeomorphisms are homeomorphisms (#9247) Basis for generalising the result for local diffeomorphism to local structomorphisms.

Estimated changes