Def DyckWord.equivTree

Modification history

2026-06-08 18:33
Mathlib/Combinatorics/Enumerative/DyckWord.lean
chore(Data/Tree/Basic): Rename Tree to BinaryTree (#39707) …
Modified DyckWord.equivTreeView on Github →
2026-02-13 05:47
Mathlib/Combinatorics/Enumerative/DyckWord.lean
chore: use named fields in `DyckWord.equivTree` (#35231) …
Modified DyckWord.equivTreeView on Github →
2026-02-13 04:22
Mathlib/Combinatorics/Enumerative/DyckWord.lean
chore: make Dyck word definitions public (#34143) …
Modified DyckWord.equivTreeView on Github →
2024-08-26 13:16
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: bijection between Dyck words and rooted binary trees (#9781)
Added DyckWord.equivTreeView on Github →