Mathlib v3 is deprecated. Go to Mathlib v4

Theorem succ_mul_catalan_eq_central_binom

Modification history

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