Revision #1041 → #3225 · back to history
modifiedLeaves vs. degree-2 nodes relation7310216632e8
| Field | From #1041 | To #3225 |
|---|
| mathlib.decl | Tree.numLeaves_eq_numNodes_succ | BinaryTree.numLeaves_eq_numNodes_succ |
| provenance | ai | ai-moderated |
modifiedMinimum tree height for n nodes7748014f4479
| Field | From #1041 | To #3225 |
|---|
| mathlib.decl | Tree.height_le_numNodes | BinaryTree.height_le_numNodes |
| provenance | ai | ai-moderated |
modifiedNumber of null links18ae31f67f9f
| Field | From #1041 | To #3225 |
|---|
| mathlib.decl | Tree.numLeaves_eq_numNodes_succ | BinaryTree.numLeaves_eq_numNodes_succ |
| provenance | ai | ai-moderated |
modifiedCounting binary trees yields Catalan numbersccc70af1beab
| Field | From #1041 | To #3225 |
|---|
| mathlib.decl | Tree.treesOfNumNodesEq_card_eq_catalan | BinaryTree.treesOfNumNodesEq_card_eq_catalan |
| provenance | ai | ai-moderated |