P

Initializing...

Sharpness of the archimedean degree bound: solvable $\iff \pi/\psi \le n$ · Prove2Me