mathlib
0ac3f9d2
- feat(category_theory/preadditive): the category of additive functors (#12330)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
feat(category_theory/preadditive): the category of additive functors (#12330)
Author
TwoFX
Parents
691722a6
Loading
mathlib
0ac3f9d2 - feat(category_theory/preadditive): the category of additive functors (#12330)
