Theorem CategoryTheory.Presieve.isSeparatedFor_iso

Modification history

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