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.

Estimated changes