Theorem CategoryTheory.Presheaf.IsSheaf.of_le

Modification history

2026-03-12 07:50
Mathlib/CategoryTheory/Sites/Sheaf.lean
feat(AlgebraicGeometry): `ℓ`-adic cohomology (#36306) …
Added CategoryTheory.Presheaf.IsSheaf.of_leView on Github →