Theorem CategoryTheory.GrothendieckTopology.subcanonical_over

Modification history

2026-03-12 07:50
Mathlib/CategoryTheory/Sites/SubcanonicalOver.lean
feat(AlgebraicGeometry): `ℓ`-adic cohomology (#36306) …
Deleted CategoryTheory.GrothendieckTopology.subcanonical_overView on Github →
2026-03-03 15:46
Mathlib/CategoryTheory/Sites/SubcanonicalOver.lean
feat(CategoryTheory/Sites): topology on `Over X` is subcanonical if the topology on the base is subcanonical (#36061)
Added CategoryTheory.GrothendieckTopology.subcanonical_overView on Github →