Theorem DyckWord.ofTree_toTree

Modification history

2026-02-13 04:22
Mathlib/Combinatorics/Enumerative/DyckWord.lean
chore: make Dyck word definitions public (#34143) …
Added DyckWord.ofTree_toTreeView on Github →