Manuscript Hawk07-A@1 · Hawk07-A.tex · section · f9c0f5da
No duplicate logical exterior
No duplicate logical exterior · lines 1572–1577
The intertwiners and code-preserving hypotheses are essential. The proposition does not exclude commuting algebras of independent degrees of freedom CheungHawk03A,Hawk06A.