P
Initializing...
Wagner 1964: no $K_{t+1}$ minor $\Rightarrow$ $2^t$-colourable · Prove2Me