Theorem DyckWord.semilength_insidePart_add_semilength_outsidePart_add_one

Modification history

2024-08-23 17:13
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: first return of a Dyck word (#15864) …
Added DyckWord.semilength_insidePart_add_semilength_outsidePart_add_oneView on Github →