Manuscript XII-D@1 · XII-D.tex · input · 308a2080

Input statement: XII-C: jet and successor boundary

Release criteria and copied inputs · lines 327–335

Back to manuscript

For the named inputs , the invariant coupled jet is empty. The proof uses a late switch defect, not a failure of a Green operator. The zero-field vacuum prevents universal jet emptiness. The completed insertion and its generated root were not constructed, and the inverse was recorded but not applied XIIC.

Nearby in this section