mathlib3

078b213e - chore(category_theory/abelian/projective): fix typo (#12701)