Manuscript X-E-ST@1 · X-E-ST.tex · section · 44614221
A finite-forest admission lemma
The free carrier and fixed-width polynomial admission › A finite-forest admission lemma · lines 1296–1301
The assertion concerns these explicitly generated forests. It is not a theorem for arbitrary graph products or for characteristic quantum cross-lines.