Def CategoryTheory.Sheaf.cohomologyPresheafFunctor

Modification history

2026-03-28 11:48
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
chore: avoid `dsimp; infer_instance` (#37288) …
Added CategoryTheory.Sheaf.cohomologyPresheafFunctorView on Github →