Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-21 22:11 004618ad

View on Github →

feat(data/nat): two lemmas about choose (#1717)

Two lemmas about choose
swap choose_symm order

Estimated changes

Modified src/data/nat/basic.lean

added theorem nat.choose_succ_right_eq

added theorem nat.choose_symm