prove IP=PSPACE (1) prove sharp p subset of IP

Loading comments...