Loading paper
Every planar graph without adjacent cycles of length at most $8$ is $3$-choosable | Tomesphere