Commit 2024-12-30 15:46 bb6faa6b

feat(AlgebraicGeometry): the small affine Zariski site (#19558) We define the small affine Zariski site of X (X.AffineZariskiSite), whose elements are affine open sets of X, and whose arrows are basic open sets D(f) ⟶ U for any f : Γ(X, U). This is a dense subsite of X.Opens (with respect to Opens.grothendieckTopology X) via the inclusion functor, which gives an equivalence of categories of sheaves (sheafEquiv).