Commit 2020-04-17 13:44 855e70bf
View on Github →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.
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.