mathlib

ea924e57 - feat(data/nat/choose/bounds): exponential bounds on binomial coefficients (#8095)

feat(data/nat/choose/bounds): exponential bounds on binomial coefficients (#8095) Co-authored-by: Eric <ericrboidi@gmail.com> Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>