Theorem CategoryTheory.Presieve.isSeparated_iso

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_isoView on Github →