mathlib

a98202b2 - chore(category_theory/preadditive/projective_resolution): typo (#12702)