← Back to Mathematics Database
All Collections
Four Color Theorem
Named Theorem
Planar graph vertices 4-colorable; proved Appel–Haken (1976).
Charts
Combinatorics
Combinatorics Combinations Binomial