mathlib

25a68273 - feat(category_theory/preadditive): reformulation of mono_of_kernel_zero