mathlib3

70d71149 - feat(nat/choose): lemmas regarding binomial coefficients (#6362)