Def Tree.treesOfNumNodesEq

Modification history

2026-06-08 18:33

Mathlib/Combinatorics/Enumerative/Catalan/Tree.lean

chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …

Deleted Tree.treesOfNumNodesEq View on Github →

2026-04-29 10:38

Mathlib/Combinatorics/Enumerative/Catalan.lean

chore(Combinatorics/Enumerative/Catalan): split into `Basic` & `Tree` (#34854)

Modified Tree.treesOfNumNodesEq View on Github →

2023-03-13 14:02

Mathlib/Combinatorics/Catalan.lean

feat: Port Combinatorics.Catalan (#2588)

Added Tree.treesOfNumNodesEq View on Github →