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