Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-08-28 21:34 76ae12c7

View on Github →

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

Estimated changes

modified theorem finset.mul_sum
modified theorem finset.sum_mul