New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat: bijective local homeomorphisms are homeomorphisms #9247
Conversation
not cleaned up; perhaps want a different approach?
Thanks for the quick look, @ADedecker! |
3af1e5b
to
7be68d1
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
bors d+
✌️ grunweg can now approve this pull request. To approve and merge a pull request, simply reply with |
Co-authored-by: Anatole Dedecker <anatolededecker@gmail.com>
Co-authored-by: Anatole Dedecker <anatolededecker@gmail.com>
Thank you for the fast review. |
Basis for generalising the result for local diffeomorphism to local structomorphisms. Co-authored-by: grunweg <grunweg@posteo.de>
Pull request successfully merged into master. Build succeeded: |
Basis for generalising the result for local diffeomorphism to local structomorphisms.