mathlib3

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

#17560

Open