P

Initializing...

Existence of the hard arena family with diameter $\le 4(\delta^{-1}+d+1)$ · Prove2Me