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.
feat: bijective local homeomorphisms are homeomorphisms (#9247) Basis for generalising the result for local diffeomorphism to local structomorphisms.