chore(algebra/big_operators): use weaker typeclass assumptions (#6503)
chore(algebra/big_operators): use weaker typeclass assumptions (#6503)






leanprover-community/mathlib,leanprover-community/mathlib