mathlib
313f4055 - feat(category_theory/*): preserves biproducts implies additive (#12014)

Commit

4 years ago

feat(category_theory/*): preserves biproducts implies additive (#12014)

Author

TwoFX

TwoFX

Parents

Loading