Theorem CategoryTheory.Equivalence.hasSheafCompose

Modification history

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