Loading paper
Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar | Tomesphere