San Ildefonso de Toledo fue arzobispo de Toledo del año 657 al 667 y es uno de los Padres de la Iglesia.