Manuscript I@2 · I.tex · corollary · 85631fa7
Corollary: Scheduler independence after characterization
Born laws and destructive projective residuals › Residual identification by future tests · lines 1881–1890 · proof included or linked
I@2#cor:scheduler
Every model of has the liberal observational confluence of .
Proof. Its transitions have been identified with the Born transitions. Apply Theorem thm:confluence.