mathlib
26b40791 - feat(combinatorics/catalan): Connection between Catalan numbers and number of trees (#16583)
Commit
View On GitHub
Commit
3 years ago
feat(combinatorics/catalan): Connection between Catalan numbers and number of trees (#16583) Shows that the number of binary trees with `n` nodes is the `n`th Catalan number.
Author
prakol16 prakol16
Parents
2407f3b1
FAQ Terms Privacy Refunds Impressum
Loading