Loading paper
Every planar graph with $\Delta\geqslant 8$ is totally $(\Delta+2)$-choosable | Tomesphere