Theorem AlgebraicGeometry.Scheme.Cover.mem_grothendieckTopology

Modification history

2026-02-09 11:07
Mathlib/AlgebraicGeometry/Sites/Pretopology.lean
chore(AlgebraicGeometry/Sites): use `Precoverage.toGrothendieck` instead of `Pretopology.toGrothendieck` (#34995) …
Modified AlgebraicGeometry.Scheme.Cover.mem_grothendieckTopologyView on Github →
2025-10-03 06:19
Mathlib/AlgebraicGeometry/Sites/Pretopology.lean
refactor(AlgebraicGeometry): replace `Scheme.Cover` by an `abbrev` for `ZeroHypercover` (#29061) …
Modified AlgebraicGeometry.Scheme.Cover.mem_grothendieckTopologyView on Github →
2025-10-02 13:49
Mathlib/AlgebraicGeometry/Sites/Pretopology.lean
refactor(AlgebraicGeometry/Sites): redefine pretopologies via precoverages (#29894) …
Added AlgebraicGeometry.Scheme.Cover.mem_grothendieckTopologyView on Github →