fix(algebra/big_operators): remove `comm_monoid` assumption from `sum_nat_cast` (#401)
fix(algebra/big_operators): remove `comm_monoid` assumption from `sum_nat_cast` (#401)


leanprover-community/mathlib,leanprover-community/mathlib