Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
The connected simultaneous theorem
Bell correlations and simultaneous finite-data certification › The connected simultaneous theorem · lines 1456–1464
The probabilistic channel statement is the region–decoder specialization of the finite theorem in Oai280-A Oai280A; related single-task forms are recorded in CheungOai265B. The connection to the access-dependent code is supplied by Sections sec:encoding–sec:implemented, not by changing the name of a label.