Theorem CategoryTheory.Presieve.IsSeparated.isSheaf

Modification history

2025-09-28 16:48
Mathlib/CategoryTheory/Sites/SheafOfTypes.lean
feat(CategoryTheory/Sites): some lemmas on separated presheaves (#30044) …
Added CategoryTheory.Presieve.IsSeparated.isSheafView on Github →