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 1932–1936
The proof needs null spheres, not solid-ball lower support. It also does not require scalar-slot controllability.
Nearby in this section
- assumption: Assumption: Boundary-trace certificate (TC)
- section: The certificate and its lower-support consequence
- 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)
- proposition: Proposition: Flip and conjugate transfer