Metadata
Author: Literature
Data
English[en]
His proof throws several powerful techniques at the problem, and requires computer assistance.
Spanish[es]
Su demostración introduce varias técnicas potentes en el problema y requiere ayuda del ordenador.