Loading paper
Every graph with no $K_7^{\vee}$-minor is $6$-colorable | Tomesphere