Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-22 17:14 70d71149

View on Github →

feat(nat/choose): lemmas regarding binomial coefficients (#6362)

Estimated changes

Modified src/data/nat/choose/dvd.lean

added theorem nat.prime.choose_eq_factorial_div_factorial'

added theorem nat.prime.choose_mul