P
Initializing...
Finite graphs are well-quasi-ordered by the minor relation (Graph Minor Theorem) · Prove2Me