Theorem TopCat.KPresheaf.map_comp_descOfOpenClosure

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