Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
Finite-width free products and ordering
Finite-width free products and ordering · lines 1108–1113
This theorem closes Level II for a prepared free insertion through second coordinate order. It does not close Level III.