Theorem CategoryTheory.Sheaf.preservesSheafification_of_adjunction

Modification history

2024-06-05 11:06
Mathlib/CategoryTheory/Sites/Adjunction.lean
feat: left adjoint functors preserve sheafification (#13499) …
Added CategoryTheory.Sheaf.preservesSheafification_of_adjunctionView on Github →