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.

Estimated changes