Commit 2020-07-05 09:46 f39e0d7a
View on Github →chore(algebra/category): use preadditivity for biproducts (#3280) We can avoid some scary calculations thanks to abstract nonsense.
chore(algebra/category): use preadditivity for biproducts (#3280) We can avoid some scary calculations thanks to abstract nonsense.