Def AlgebraicGeometry.Scheme.AffineZariskiSite.basicOpen

Modification history

2025-12-09 18:53
Mathlib/AlgebraicGeometry/Sites/SmallAffineZariski.lean
feat(AlgebraicGeometry): "quasi-coherent `𝒪ₓ`-algebras" (#32595)
Modified AlgebraicGeometry.Scheme.AffineZariskiSite.basicOpenView on Github →
2024-12-30 15:46
Mathlib/AlgebraicGeometry/Sites/SmallAffineZariski.lean
feat(AlgebraicGeometry): the small affine Zariski site (#19558) …
Added AlgebraicGeometry.Scheme.AffineZariskiSite.basicOpenView on Github →