Manuscript Oai282-A@1 · Oai282-A.tex · section · 5b6134ec
A tensor-free comparison, proved locally
Stage 1: local currents, global actions, and bounded locality › A tensor-free comparison, proved locally · lines 487–493
Let and be unital -subalgebras, and let be UCP.