mathlib3
feat(algebraic_geometry/morphisms/affine): Define affine morphisms
#17560
Open

feat(algebraic_geometry/morphisms/affine): Define affine morphisms #17560

erdOne wants to merge 1 commit into master from affine_morphism
erdOne
erdOne first commit
bafddfb6
erdOne erdOne added awaiting-review
erdOne erdOne added t-algebraic-geometry
erdOne erdOne requested a review 3 years ago
joelriou joelriou assigned joelriou joelriou 3 years ago
joelriou
joelriou joelriou removed awaiting-review
joelriou joelriou added awaiting-author
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
Milestone