P
Initializing...
Theorem 37.13: $\Omega(n)$ lower bound for hopeless games · Prove2Me