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

first commit

bafddfb6

erdOne added awaiting-review

erdOne added t-algebraic-geometry

erdOne requested a review 3 years ago

joelriou assigned

joelriou 3 years ago

joelriou removed awaiting-review

joelriou added awaiting-author

kim-em added too-late

Reviewers

No reviews

Assignees

joelriou

Labels

awaiting-author t-algebraic-geometry too-late

Milestone

No milestone