The square of every subcubic planar graph of girth at least 6 is 7-choosable

Seog-Jin Kim, Xiaopan Lian

The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) a…