Commit 2024-11-01 10:29 c68aa108
View on Github →feat(AlgebraicGeometry/Morphisms): affine + ring hom property (#18356) We add a constructor for properties of affine morphisms of schemes satisfying a given property of ring homomorphisms on sections.