mathlib

001628b8 - feat(category_theory/subobject/factor_thru): lemmas in a preadditive category (#7104)

feat(category_theory/subobject/factor_thru): lemmas in a preadditive category (#7104) More side effects of recent reworking of homology. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>