central): arity of primes in central binomial coefficients (#14017)

Commit

3 years ago

feat(data/nat/choose/central): arity of primes in central binomial coefficients (#14017) Spun off of #8002. Lemmas about the arity of primes in central binomial coefficients.

Author

BoltonBailey

Parents

4d4de43e

mathlib3 7fbff0f7 - feat(data/nat/choose/central): arity of primes in central binomial coefficients (#14017)

mathlib3
7fbff0f7 - feat(data/nat/choose/central): arity of primes in central binomial coefficients (#14017)