Theorem CategoryTheory.Presieve.isSheafFor_bind

Modification history

2026-02-07 07:29
Mathlib/CategoryTheory/Sites/IsSheafFor.lean
chore(CategoryTheory/Sites): rename `Sheaf.isSheafFor_trans` to `Presieve.isSheafFor_trans` and move to earlier file (#34924) …
Added CategoryTheory.Presieve.isSheafFor_bindView on Github →