mathlib

8364980d - feat(category_theory): interderivability of kernel and equalizers in preadditive cats (#12576)