P
Initializing...
Threshold theorem: below p_T, concatenated circuits simulate C to distance ε with polylog overhead · Prove2Me