Mathlib

Atlas/Combin./Combinatorics

Binomial coefficients

1/4

Choose k elements from n. The count is n! / (k!(n−k)!).