1 problem

Let $m\geq 1$. Write $\mathcal{A}_{m+1}$ for the canonical tree of rank $m+1$, and let $B^{(m)}_j:=[m+1:j]$ be the tree obtained by deleting all but $j$ of the level-one subtrees o…