Manuscript X-C-ST@1 · X-C-ST.tex · section · b679954e
Route II: a pairing cross-check
Three-term variation and the completed identity › Route II: a pairing cross-check · lines 1717–1724
The pairing argument does not display the edge and switch terms. Those terms, and their propagated second-order contribution, are supplied by Proposition prop:variation.