Metadata
Author: WikiMatrix
Data
English[en]
The shortest known proof of the four color theorem as of 2011 still has over 600 cases.
Spanish[es]
La demostración conocida más corta del teorema de los cuatro colores fue de 2011 y todavía tiene más de 600 casos.