Manuscript En06-A@1 · En06-A.tex · section · e04c9892
The common comparison lemma
Complete local interfaces and snapshots › The common comparison lemma · lines 410–419
This is the common mathematical form of En05-A
lem:comparison, the factorization interface in VII-J
thm:nosignal, and the adjoint interface in En03-A
lem:one-layer
CheungEn05A,CheungVIIJ,CheungEn03A.
The proof here does not import any of those manuscripts.