Manuscript XIV-H@1 · XIV-H.tex · section · 695c7c3a
Separated-cone relations
H2d: the two internal placements in K 5 › Separated-cone relations · lines 1358–1364
The matching used here is a submersion pullback of a tensor product. It has no failed product hypothesis. This is an internal tree calculation, not the factorwise cross-line audit of XIV-G.