Local correctability of a stabilizer code (source code)

= Local correctability of a stabilizer code

If every pairwise product $E_a^\dagger E_b$ has weight below the code distance, it cannot be a nontrivial logical operator. The <Knill--Laflamme conditions> then hold for the whole error set.