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 1330–1334
This proof does not subtract a regular coefficient, alter a fixed old product, or make a convergence assertion.