CREATE TABLE table_name_23 (laps INT, rider VARCHAR)

what is the smallest number of laps imre toth has?
SELECT MIN(laps) FROM table_name_23 WHERE rider = "imre toth"
SELECT MIN("laps") FROM "table_name_23" WHERE "imre toth" = "rider"