Commit 2022-05-08 06:24 0c64b3d3

View on Github →

feat(algebra/category/Module): biproducts (#13908) Following the same pattern for AddCommGroup, create the instance for biproducts in Module R, and check they are isomorphic to the usual construction.

Estimated changes