Context: CREATE TABLE table_name_56 (number_of_electorates__2009_ INTEGER, district VARCHAR, name VARCHAR)
Question: What Number of electorates (2009) has a District of mathura, and a Name of mant?
Answer: SELECT MIN(number_of_electorates__2009_) FROM table_name_56 WHERE district = "mathura" AND name = "mant"