Theorem TopCat.KSheaf.hom_ext_of_compacts

Modification history

2026-11-10 14:10
Mathlib/Topology/Sheaves/KSheaf.lean
feat: the definition of a KSheaf on a T2 Space (#40953) …
Added TopCat.KSheaf.hom_ext_of_compactsView on Github →