Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e
Subtraction and the smooth sign comparison
D1: domains and separate causal interfaces › Subtraction and the smooth sign comparison · lines 972–976
This is a smooth classical sign calculation, not a construction of a sharp .