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

Back to manuscript

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

Nearby in this section