Commit 2025-01-29 15:23 3cbf0012
View on Github →feat(Data/Nat/Choose) : An upper bound on the binomial coefficient (#20735)
Add a theorem bounding (n+1).choose k from above by 2^n.
feat(Data/Nat/Choose) : An upper bound on the binomial coefficient (#20735)
Add a theorem bounding (n+1).choose k from above by 2^n.