Def AlgebraicGeometry.Scheme.AffineZariskiSite.relativeGluingData

Modification history

2026-02-06 11:03

Mathlib/AlgebraicGeometry/Sites/SmallAffineZariski.lean

feat(AlgebraicGeometry): replace `PreservesLocalization` with `Coequifibered` (#34701)

Added AlgebraicGeometry.Scheme.AffineZariskiSite.relativeGluingData View on Github →