Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tree.mem_trees_of_nodes_eq_num_nodes

Modification history

2023-02-08 14:04
src/combinatorics/catalan.lean
feat(combinatorics/catalan): Connection between Catalan numbers and number of trees (#16583) …
Added tree.mem_trees_of_nodes_eq_num_nodesView on Github →