-
Notifications
You must be signed in to change notification settings - Fork 251
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(AlgebraicGeometry/Morphisms): define closed immersions #12917
Conversation
Co-authored-by: 101damnations <101damnations@github.com>
Because of explicit encouragement of Amelia.
Thanks! I have some thoughts on how we should define closed immersions, but they require a substantial more work and should not block this. We can refactor this later when the time comes. |
🚀 Pull request has been placed on the maintainer queue by erdOne. |
Thanks a lot! bors d+ |
✌️ chrisflav can now approve this pull request. To approve and merge a pull request, simply reply with |
bors r+ |
Defines closed immersions of schemes. Co-authored-by: Amelia Livingston @101damnations Co-authored-by: Jonas van der Schaaf @jonasvanderschaaf Co-authored-by: 101damnations <101damnations@github.com> Co-authored-by: Christian Merten <christian@merten.dev>
Thanks for the reviews! |
Pull request successfully merged into master. Build succeeded: |
Defines closed immersions of schemes. Co-authored-by: Amelia Livingston @101damnations Co-authored-by: Jonas van der Schaaf @jonasvanderschaaf Co-authored-by: 101damnations <101damnations@github.com> Co-authored-by: Christian Merten <christian@merten.dev>
Defines closed immersions of schemes. Co-authored-by: Amelia Livingston @101damnations Co-authored-by: Jonas van der Schaaf @jonasvanderschaaf Co-authored-by: 101damnations <101damnations@github.com> Co-authored-by: Christian Merten <christian@merten.dev>
Defines closed immersions of schemes. Co-authored-by: Amelia Livingston @101damnations Co-authored-by: Jonas van der Schaaf @jonasvanderschaaf Co-authored-by: 101damnations <101damnations@github.com> Co-authored-by: Christian Merten <christian@merten.dev>
Defines closed immersions of schemes.
Co-authored-by: Amelia Livingston @101damnations
Co-authored-by: Jonas van der Schaaf @jonasvanderschaaf
This is a reopening and clean up of #6135. The original author is Jonas van der Schaaf who no longer wanted to pursue this PR.