mathlib

f11d505e - feat(category_theory/sites/compatible_*): Compatibility of plus and sheafification with composition. (#10510)

feat(category_theory/sites/compatible_*): Compatibility of plus and sheafification with composition. (#10510) Compatibility of sheafification with composition. This will be used later to obtain adjunctions between categories of sheaves.