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