flat_wall_theorem (103B)
1 # Flat wall theorem 2 3 Explained in [kawarabayashi2018new] 4 5 Up: [theorem] 6 7 See also: [Robertson_seymour]