Manuscript Oai290-A@1 · Oai290-A.tex · corollary · 7c6e104a

Corollary: A named asymptotic defect contract

A separately typed modular bounded-witness module › What follows, and only in which direction · lines 1575–1591 · proof included or linked

Oai290-A@1#cor:intertwining

Back to manuscript

Suppose a fixed obeys the additional contract

Then .

Proof. Lemma lem:modularlocal supplies the premise for every bounded shrinking-band sequence. Apply Corollary cor:boundeddefect.

Displayed formulas in this passage

  • unlabeled · line 1578

Nearby in this section