binomial coefficient identity
C7420
concept
A binomial coefficient identity is an algebraic equality that relates one or more binomial coefficients, often revealing combinatorial or symmetric properties of counting processes.