Manuscript X-C-ST@1 · X-C-ST.tex · section · b679954e

Proof of record

Three-term variation and the completed identity › Proof of record · lines 1528–1540

For the bare insertion $c [q]$ , set

s [q] = E_{q}^{A} c [q] = E_{A} e [q] .

In particular,

s_{0} = E_{A} f, s_{1} = E_{A} e_{1} .

The notation $s [q]$ is distinct from the coordinate vector $w [h]$ .

Displayed formulas in this passage