Theorem TopCat.KPresheaf.hom_ext_of_isColimit_coconeOfCompacts

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.KPresheaf.hom_ext_of_isColimit_coconeOfCompactsView on Github →