# Commit 2020-10-29 18:26 d709ed6f

View on Github →feat(algebra/direct_sum*): relax a lot of constraints to add_comm_monoid (#3537)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(algebra/direct_sum*): relax a lot of constraints to add_comm_monoid (#3537)