Def AlgebraicGeometry.Scheme.AffineZariskiSite

Modification history

2024-12-30 15:46

Mathlib/AlgebraicGeometry/Sites/SmallAffineZariski.lean

feat(AlgebraicGeometry): the small affine Zariski site (#19558) …

Added AlgebraicGeometry.Scheme.AffineZariskiSite View on Github →