P

Initializing...

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