Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
An anchored-domain lemma
Gate G: simultaneous new-domain and old-domain gluing › An anchored-domain lemma · lines 1296–1299
No continuity of is asserted or needed.
Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Gate G: simultaneous new-domain and old-domain gluing › An anchored-domain lemma · lines 1296–1299
No continuity of is asserted or needed.