Manuscript Hawk05-A@1 · Hawk05-A.tex · section · 449f85bb
The approximation theorem used
Approximate and same-model endpoint certificates › The approximation theorem used · lines 1376–1393
The only dimension-independent approximation theorem imported below is the continuity of Stinespring dilations and its information–disturbance consequence KSW. Its finite-dimensional form implies
The norm convention is important.
Displayed formulas in this passage
unlabeled · line 1382