P

Initializing...

Theorem 2.3 (Albar–Gonçalves): no $K_7$ minor $\Rightarrow$ $8$-colourable; no $K_8$ minor $\Rightarrow$ $10$-colourable · Prove2Me