mathlib

855e70bf - feat(data/nat): Results about nat.choose (#2421)

feat(data/nat): Results about nat.choose (#2421) A convenience lemma for symmetry of choose and inequalities about choose. More results from my combinatorics project.