P

Initializing...

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