Proof of Theorem 1, p. 3 — for a local-error-detecting code, a logical sum of local Hermitians acts as a scalar: $DP \propto P$

Initializing...

Proof of Theorem 1, p. 3 — for a local-error-detecting code, a logical sum of local Hermitians acts as a scalar: $DP \propto P$ · Prove2Me