Manuscript X-B-ii@1 · X-B-ii-v1.tex · section · f1377602
The check, re-derived
C2: the one-contraction boundary › The check, re-derived · lines 656–663
Propositions prop:check and prop:causal say exactly what X-B says: the auxiliary expression supplies the usual one-contraction retarded interpretation for this pair, with the symmetry and the two causal-factorization properties that a time-ordered product would have to satisfy on this pair.