Manuscript En08-B@1 · En08-B.tex · section · 23cac52a
A complete-channel error lemma
The connecting theorem › A complete-channel error lemma · lines 830–837
The corresponding Heisenberg complete-bounded-norm ledger is
recorded in En05-C
CheungEn05C (Proposition prop:telescoping).
Equation (eq:telescoping) is used on the actual compatible
interfaces, including any spectator registers.