Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
The certificate and its lower-support consequence
The certificate and its lower-support consequence · lines 1811–1817
The nonzero overall sign does not affect support. The statement is more precise than an upper causal-ball bound. It is not assumed for the inherited operator in the unconditional release.
Nearby in this section
- assumption: Assumption: Boundary-trace certificate (TC)
- theorem: Theorem: Null-sphere lower support under (TC)
- section: The certificate and its lower-support consequence
- lemma: Lemma: Sphere–ball intersection
- theorem: Theorem: The two-way bridge under (TC)
- section: The certificate and its lower-support consequence
- proposition: Proposition: Flip and conjugate transfer