Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Actual-relation consistency and analytical obligations
Actual-relation consistency and analytical obligations · lines 1385–1390
-E-2-ST: exact imaginary part and witness-class vanishing
Nearby in this section
- section: Actual-relation consistency and analytical obligations
- theorem: Theorem: Algebraic extension criterion
- section: Actual-relation consistency and analytical obligations
- requirement: Requirement: Analytical completion of the binary target
- section: Actual-relation consistency and analytical obligations
- theorem: Theorem: Conditional binary subtraction
- theorem: Theorem: IX-E-ST stage release