Ildefonsus or Ildephonsus was a scholar and theologian who served as the metropolitan Bishop of Toledo for the last decade of his life
