Def TopCat.KPresheaf.coconeOfClosureOfOpens

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