Theorem CategoryTheory.Presieve.isSeparated_of_le

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