Theorem CategoryTheory.EqualizerCondition.isSheaf_iff

Modification history

2023-11-21 08:44
Mathlib/CategoryTheory/Sites/RegularExtensive.lean
feat(CategoryTheory): the regular topology is subcanonical (#8529) …
Deleted CategoryTheory.EqualizerCondition.isSheaf_iffView on Github →
2023-11-21 07:27
Mathlib/CategoryTheory/Sites/RegularExtensive.lean
chore(CategoryTheory): relax assumptions on category for regular sheaf condition (#8514) …
Added CategoryTheory.EqualizerCondition.isSheaf_iffView on Github →