San Ildefonso es una localidad del Estado de México, México. Es parte del municipio de Ixtlahuaca.
Toponimia El nombre «San Ildefonso» hace referencia al santo patrono de la localidad: Ildefonso de Toledo.
Demografía
Censo Población 1900 384 1910 408 1921 536 1930 719 1940 764 1950 999 1960 1322 1970 1309 1980 1423 1990 1482 2000 2239 2010 4371 2020 5107
Referencias
Categoría:Localidades del municipio de Ixtlahuaca Categoría:Patronazgo de San Ildefonso