P
Initializing...
II A: concatenated-code tensor product and max threshold, (5)–(6) · Prove2Me