1 problem

Conjecture 9.1 proposes the identity … where $\mathsf{LD}(0,n)^{\ast k,\circ r}$ is the set of positively labelled Dyck paths of size $n$ with $k$ decorated rises and $r$ decorated…