P

Initializing...

Theorems 37.15–37.16: $O(n^{2/3})$ upper bound for hard games · Prove2Me