Open menu
John Allen Koch
1948
Computation of four color irreducibility