Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual número de eleitores (2009) tem um Distrito de Mathura e um Nome de Mant?
  ###Tabelas:
CREATE TABLE table_name_56 (number_of_electorates__2009_ INTEGER, district VARCHAR, name VARCHAR)


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