Theorem DyckWord.zero_le

Modification history

2024-08-26 13:16
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: bijection between Dyck words and rooted binary trees (#9781)
Deleted DyckWord.zero_leView on Github →
2024-08-23 17:13
Mathlib/Combinatorics/Enumerative/DyckWord.lean
feat: first return of a Dyck word (#15864) …
Added DyckWord.zero_leView on Github →