Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Restricted sharp separation and degree-four descent
Restricted sharp separation and degree-four descent · lines 1861–1866
This proof uses neither a general range theorem for
nor a host Green operator
IXFreeTwo ({:restricted}).