Theorem DyckWord.two_mul_semilength_eq_length

Modification history

2024-08-16 05:39
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: Dyck words up to semilength (#14162) …
Added DyckWord.two_mul_semilength_eq_lengthView on Github →