SCHEMA:
CREATE TABLE table_name_56 (number_of_electorates__2009_ INTEGER, district VARCHAR, name VARCHAR)
USER:
What Number of electorates (2009) has a District of mathura, and a Name of mant?

QUERY:
SELECT MIN(number_of_electorates__2009_) FROM table_name_56 WHERE district = "mathura" AND name = "mant"