Theorem DyckWord.card_dyckWord_semilength_eq_catalan

Modification history

2024-08-26 13:16
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: bijection between Dyck words and rooted binary trees (#9781)
Added DyckWord.card_dyckWord_semilength_eq_catalanView on Github →