Manuscript XIV-E@1 · XIV-E.tex · section · e89fd2a5

The common zero set of the cone equations

The elementary product phase is not a common symbol calculus › The common zero set of the cone equations · lines 917–925

Shrink the original neighborhoods, if necessary, without deleting the retained configuration, so that

y^{0} - a^{0} > 0, b^{0} - y^{0} > 0

throughout them.

Displayed formulas in this passage