P

Initializing...

Delcourt–Postle: no $K_t$ minor $\Rightarrow$ $O(t\log\log t)$-colourable · Prove2Me