Entre la documentación del archivo de la catedral de Oviedo, figura también una donación el 5 de febrero de 951, en la que el presbítero Ledantius, junto a Sempronia, otroga una serie de propiedades a la iglesia de San Miguel Arcángel, en los siguientes términos: