Commit 2024-07-09 17:23 384c2eb7

View on Github →

feat(AlgebraicGeometry/Morphisms): stalkwise constructor and more API (#14328) Adds a MorphismProperty.stalkwise constructor for morphism properties of schemes from a property of ring homomorphisms. Also adds API for reducing proofs of stability under base change to affine situations for properties local at the target.

Estimated changes