P
Initializing...
Finite planar graphs are $1$-well-quasi-ordered by the minor relation · Prove2Me