Uncompleted degree-four blocks

F5–F6: actual maps and the remaining overlap gates › Uncompleted degree-four blocks · lines 1210–1215

These tests have not been discharged here. In particular, injectivity of $q_{L}, q_{R}$ does not imply injectivity of $p_{L}, p_{R}$ .

Nearby in this section