Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-04 13:21 18d7b743

View on Github →

feat(data/nat/choose/dvd): generalize to division rings (#8997)

Estimated changes

modified theorem nat.cast_add_choose
modified theorem nat.cast_choose