Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes