Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
tree.mem_trees_of_nodes_eq
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
View on Github →