Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
The real parameter test
Actual-functional descent of the second stage › The real parameter test · lines 966–972
An empty set here would prove an incompatibility with the imposed parent calibration class, before any continuity claim. This manuscript does not establish that the set is empty, nonempty, or all of .