mathlib
303740d4 - feat(category_theory/abelian): every abelian category is preadditive (#3247)

Commit

5 years ago

feat(category_theory/abelian): every abelian category is preadditive (#3247) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

TwoFX

Parents