four_color_theorem (234B)
1 # Four color theorem 2 3 Variant on graphs embedded in more general [genus]: 4 - https://en.wikipedia.org/wiki/Heawood_conjecture 5 6 Generalization: [inoue2024three] 7 8 Faster version: [inoue2026four] 9 10 Up: [graph_coloring] of [planar_graph]