P
Initializing...
Proof of Theorem 4.2, p. 3:14 — a graph with at most N vertices has twin-width at most N · Prove2Me