mathlib

f2fa1cf9 - feat(category_theory/abelian/*): add some missing lemmas (#12839)