mathlib3

9fd7a02d - feat(category_theory/sites/left_exact): Sheafification is left exact. (#11252)