Theorem nat.cast_choose
Modification history
2021-09-27 13:07
src/data/nat/choose/cast.lean
feat(data/nat/choose/cast): Cast of binomial coefficients equals a Pochhammer polynomial (#9394) …
Modified nat.cast_chooseView on Github →2021-09-04 13:21
src/data/nat/choose/dvd.lean
feat(data/nat/choose/dvd): generalize to division rings (#8997)
Modified nat.cast_chooseView on Github →