Graph Minors. XX. Wagner's conjecture

@article{Robertson2004GraphMX,
  title={Graph Minors. XX. Wagner's conjecture},
  author={Neil Robertson and Paul D. Seymour},
  journal={J. Comb. Theory, Ser. B},
  year={2004},
  volume={92},
  pages={325-357}
}
We prove Wagner’s conjecture, that for every infinite set of finite graphs, one of its members is isomorphic to a minor of another.