Manuscript XIV-H@1 · XIV-H.tex · section · 695c7c3a
The existing tree maps with z retained
H2d: the two internal placements in K 5 › The existing tree maps with z retained · lines 1284–1292
This proves the distributional kernel formula. It does not by itself assign one ordinary symbol class through the internal cone vertex.
The common variables are never replaced by the tested kernel of XIV-E.