Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tsum_mul_tsum_eq_tsum_sum_range

Modification history