arXiv++ Combinatorics

We prove for k at most 10, that every graph of chromatic number k with a unique k-coloring admits a clique minor of order k.