Details for entry \(A_4(17,4;4)\)

Go to API

Lower bounds