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.

Estimated changes