Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime.choose_mul

Modification history

2021-02-27 09:13
src/data/nat/choose/dvd.lean
chore(data/nat/choose): fix namespace of theorems (#6451)
Deleted nat.prime.choose_mulView on Github →
2021-02-22 17:14
src/data/nat/choose/dvd.lean
feat(nat/choose): lemmas regarding binomial coefficients (#6362)
Added nat.prime.choose_mulView on Github →