Theorem CategoryTheory.Sheaf.H.map_add_apply

Modification history

2026-05-11 16:00
Mathlib/CategoryTheory/Sites/SheafCohomology/Basic.lean
feat(SheafCohomology): add API for Sheaf Cohomology (#34742) …
Added CategoryTheory.Sheaf.H.map_add_applyView on Github →