Manuscript IX-Free-2@1 · IX-Free-2.tex · corollary · abb2397a
Corollary: All real common parents pass gluing
Gate G: simultaneous new-domain and old-domain gluing › Evaluation of the gluing parameter set · lines 1343–1360 · proof included or linked
IX-Free-2@1#cor:cglue
For this declared sector,
Proof. The first equality is inherited. Every degree-four prescription descends independently of . The degree-two scalar maps descend for every real .
Proposition prop:newdirect and Theorem thm:oldgluing show that the complete declared domain has no overlap imposing an additional scalar equation. Thus gluing holds for every real .
Displayed formulas in this passage
unlabeled · line 1346