intervals): summation by parts

Commit

3 years ago

feat(algebra/big_operators/intervals): summation by parts Add the summation by parts identity for intervals of natural numbers.

Author

ecstatic-morse

Committer

ecstatic-morse

Parents