Commit 2024-07-17 02:03 eb28709f
View on Github →feat (RingTheory/Binomial): Chu-Vandermonde identity (#14808)
A general version of Chu-Vandermonde: If r
and s
are commuting elements of a binomial ring, then choose (r + s) k
equals the sum over ij in antidiagonal k
of choose r ij.1 * choose s ij.2
.