$\mathrm{HC}(4)$: graphs with no $K_5$ minor are $4$-colourable · Prove2Me

P

Initializing...

$\mathrm{HC}(4)$: graphs with no $K_5$ minor are $4$-colourable · Prove2Me