grotzschs_theorem (170B)
1 # Grotzsch's theorem 2 3 https://en.wikipedia.org/wiki/Gr%C3%B6tzsch%27s_theorem 4 5 [Planar_graph] with no [triangle] is always [3_colorable] 6 7 Up: [graph_coloring], [theorem]
wiki_researchpersonal research wiki | |
git clone https://a3nm.net/git/wiki_research/ | |
Log | Files | Refs |