Def CategoryTheory.Sheaf.H

Modification history

2026-05-11 16:00
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
feat(SheafCohomology): add API for Sheaf Cohomology (#34742) …
Deleted CategoryTheory.Sheaf.HView on Github →
2024-07-24 05:38
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
feat(CategoryTheory/Sites): definition of sheaf cohomology (#14800)
Added CategoryTheory.Sheaf.HView on Github →