Theorem CategoryTheory.Presieve.isSheaf_of_nat_equiv

Modification history

2024-12-13 10:51
Mathlib/CategoryTheory/Sites/SheafOfTypes.lean
feat(CategoryTheory/Sites): the property of being a sheaf of types is invariant under natural equivalences (#19921) …
Added CategoryTheory.Presieve.isSheaf_of_nat_equivView on Github →