fix(algbera/big_operators): remove simp attr for sum/mul-distributivity rules
fix(algbera/big_operators): remove simp attr for sum/mul-distributivity rules

leanprover-community/mathlib,leanprover-community/mathlib