schnyders_theorem (278B)
1 # Schnyder's theorem 2 3 https://en.wikipedia.org/wiki/Schnyder%27s_theorem 4 5 An [undirected_graph] is [planar] iff the [partial_order_dimension] of its [incidence_poset] is <= 3 6 7 [generalization] to [simplicial_complex] in [mendez1999geometric] 8 9 Up: [theorem] about [planar_graph]