Theorem DyckWord.cons_tail_dropLast_concat

Modification history

2024-08-23 17:13
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: first return of a Dyck word (#15864) …
Modified DyckWord.cons_tail_dropLast_concatView on Github →
2024-08-16 05:39
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: Dyck words up to semilength (#14162) …
Added DyckWord.cons_tail_dropLast_concatView on Github →