P

Initializing...

Kostochka–Thomason: no $K_t$ minor $\Rightarrow$ $O(t\sqrt{\log t})$-colourable · Prove2Me