Manuscript XIX-B@1 · XIX-B.tex · section · b5670709

Lemma B: the detecting forcing calculation

Lemma B: the detecting forcing calculation · lines 680–697

the calculation excludes. The equality required for this direct identification is, in VI's native sign,

D_{-} (h_{λ}) = F_{co} .

Equivalently, in the common plus-sign normalization it is

- \partial_{α} a_{1, +}^{α μ} [R_{λ}] = - \partial_{α} (σ a_{1, +}^{α μ} [R_{λ}]) .

Lemma lem:B disproves that equality on the witness. It does not use the compact interaction switch $g$ .

Displayed formulas in this passage

unlabeled · line 685
$D_{-} (h_{λ}) = F_{co} .$
unlabeled · line 689
$- \partial_{α} a_{1, +}^{α μ} [R_{λ}] = - \partial_{α} (σ a_{1, +}^{α μ} [R_{λ}]) .$