Theorem Ring.add_choose_eq

Modification history

2024-07-17 02:03

Mathlib/RingTheory/Binomial.lean

feat (RingTheory/Binomial): Chu-Vandermonde identity (#14808) …

Added Ring.add_choose_eq View on Github →