Devetak–Winter step: a corner norm near $1/2$ gives positive key, uniformly in the shields

Initializing...

Devetak–Winter step: a corner norm near $1/2$ gives positive key, uniformly in the shields · Prove2Me