CREATE TABLE table_name_56 (number_of_electorates__2009_ NUMBER, district VARCHAR2, name VARCHAR2)

What Number of electorates (2009) has a District of mathura, and a Name of mant?
SELECT MIN(number_of_electorates__2009_) FROM table_name_56 WHERE district = "mathura" AND name = "mant"
SELECT MIN("number_of_electorates__2009_") FROM "table_name_56" WHERE "district" = "mathura" AND "mant" = "name"