Theorem CategoryTheory.Sheaf.isSheafFor_bind

Modification history

2026-02-07 07:29
Mathlib/CategoryTheory/Sites/Canonical.lean
chore(CategoryTheory/Sites): rename `Sheaf.isSheafFor_trans` to `Presieve.isSheafFor_trans` and move to earlier file (#34924) …
Deleted CategoryTheory.Sheaf.isSheafFor_bindView on Github →
2023-06-05 13:56
Mathlib/CategoryTheory/Sites/Canonical.lean
feat: port CategoryTheory.Sites.Canonical (#3936)
Added CategoryTheory.Sheaf.isSheafFor_bindView on Github →