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

P

Initializing...

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