Linked from

The 4 pages that link to Wagner's theorem, each with the reason it gives.

• Graph structure theoremCompared with: It is a concrete excluded-minor characterization, unlike the general structural description.