Structure TopCat.KPresheaf.IsKSheaf

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