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

What follows, and only in which direction

A separately typed modular bounded-witness module › What follows, and only in which direction · lines 1591–1598

A typical defect operator can be $T = R (a^{♭}) - L (k)$ , when a named compactly localized $a$ satisfies $a ξ = ξ a^{♭}$ . The required asymptotic identity is still a separate contract; bounded recovery does not invent it.

Nearby in this section

section: What follows, and only in which direction
corollary: Corollary: Bounded-defect implication
section: What follows, and only in which direction
corollary: Corollary: A named asymptotic defect contract