Results about big operators over intervals #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
We prove results about big operators over intervals (mostly the
Ico m n).
The two ways of summing over
(i,j) in the range
a<=i<=j<b are equal.
Summation by parts, also known as Abel's lemma or an Abel transformation
Summation by parts for ranges