Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.two_dvd_central_binom_of_one_le

Modification history

2022-06-26 17:01
src/data/nat/choose/central.lean
feat(combinatorics/catalan): definition and equality of recursive and explicit definition (#14869) …
Added nat.two_dvd_central_binom_of_one_leView on Github →