Commit 2025-07-23 10:07 1711fe0a
View on Github →feat(AlgebraicGeometry): source-local closure of a morphism property (#26723) As a special case, we define local isomorphisms as the source local closure of open immersions.
feat(AlgebraicGeometry): source-local closure of a morphism property (#26723) As a special case, we define local isomorphisms as the source local closure of open immersions.