Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Finite reduction of the full gauge-family row problem
Finite reduction of the full gauge-family row problem · lines 1708–1715
If constancy of the complete response is established and the complete target is quadratic, a certified base coefficient leaves two additional membership tests. Theorem thm:phase prevents claiming that every supplied D01 artifact already provides a consistent base coefficient.