Mathlib
Atlas
Atlas
/
Combin.
/
Combinatorics
Binomial coefficients
1/4
Choose k elements from n. The count is n! / (k!(n−k)!).
(
k
n
)
Replay
Challenge
Ask
n
5