Theorem CategoryTheory.Equivalence.hasSheafify

Modification history

2024-01-13 15:06
Mathlib/CategoryTheory/Sites/Equivalence.lean
feat(CategoryTheory): sheafification over essentially small sites (#9523) …
Added CategoryTheory.Equivalence.hasSheafifyView on Github →