Commit 2024-10-15 08:58 200b6dce
View on Github →feat(AlgebraicGeometry): api for morphism properties local at the source and target (#17302) A morphism property, that is both local at the source and the target and additionally is stable under post-composition with open immersions, can be checked locally around points of the source. This is what the stacks project calls "local on the source-and-target".