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.