Def CategoryTheory.Sheaf.cohomologyFunctor

Modification history

2026-05-11 16:00
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
feat(SheafCohomology): add API for Sheaf Cohomology (#34742) …
Deleted CategoryTheory.Sheaf.cohomologyFunctorView on Github →
2026-03-28 11:48
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
chore: avoid `dsimp; infer_instance` (#37288) …
Added CategoryTheory.Sheaf.cohomologyFunctorView on Github →