fix(algebra/big_operators): change name of `sum_attach` to `finset.sum_attach`
fix(algebra/big_operators): change name of `sum_attach` to `finset.sum_attach`

leanprover-community/mathlib,leanprover-community/mathlib