Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Inherited free sector and locked comparison kernel
Inherited free sector and locked comparison kernel · lines 569–572
No conclusion below reopens degree-four free descent.
Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Inherited free sector and locked comparison kernel · lines 569–572
No conclusion below reopens degree-four free descent.