mathlib

b3abae50 - chore(category_theory/preadditive/projective_resolution): some minor golf (#12739)