Manuscript I@2 · I.tex · lemma · 85631fa7

Lemma: Concrete composability

Metatheory of the specified calculus › Liberal scheduling and observational confluence · lines 795–804 · proof included or linked

I@2#lem:concrete-C

Joint readout of disjoint $S, T$ and successive readout in either order have the same ordered joint law, with all other names returned.

Proof. Every joint weight equals $M^{S \cup T}_{κλ} ψ^{2}$ .

Nearby in this section