Commit 2024-07-24 05:38 d8788f05

View on Github →

feat(CategoryTheory/Sites): definition of sheaf cohomology (#14800)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Algebra/Homology/DerivedCategory/Ext.lean

Created Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean

added def CategoryTheory.Sheaf.H