P
Initializing...
Theorem 4.1 (Duchet–Meyniel): a $K_t$ minor with $t\ge n/(2\alpha(G)-1)$ · Prove2Me