Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Presheaf.χ
Modification history
2026-03-20 18:13
Mathlib/CategoryTheory/Topos/Sheaf.lean
feat(CategoryTheory/Topos): Define subobject classifier for sheaf of types (#35867) …
Added
CategoryTheory.Presheaf.χ
View on Github →