mathlib

a0d1a84d - feat(topology/sheaves/*): sheafification preserves zero morphisms (#16381)