P

Initializing...

Theorem 4.2: no $K_{t+1}$ minor $\Rightarrow$ a $t$-colourable induced subgraph on half the vertices · Prove2Me