The church is named in honour of the Visigoth, Ildephonsus of Toledo, bishop of Toledo from 657 until his death in 667.
Kościół został nazwany na cześć Wizygota, Ildefonsa z Toledo, biskupa Toledo od 657 aż do śmierci w 667.