Manuscript En06-A@1 · En06-A.tex · section · e04c9892
The common comparison lemma
Complete local interfaces and snapshots › The common comparison lemma · lines 368–372
An observable supported in is extended by identity on the complement.
Manuscript En06-A@1 · En06-A.tex · section · e04c9892
Complete local interfaces and snapshots › The common comparison lemma · lines 368–372
An observable supported in is extended by identity on the complement.