Ildefonsi
Martyrological notice
The historical Roman Martyrology commemorates Ildefonsi on 23 January. The Latin notice identifies the record as bishop. The source places the commemoration at Toleti, in Hispania.
Historical martyrology witness · Martyrologium Romanum (Latin historical edition)
Toleti, in Hispania, sancti Ildefonsi Episcopi, qui, ob singularem vitae integritatem, susceptamque fidei defensionem adversus haereticos, sanctissimae Dei Genitricis virginitatem impugnantes, ab eadem Virgine Maria donatus est candidissima veste ac demum, sanctitate celebris, in caelum vocatus.