Entonces simplemente lo conocemos en Sevilla en 1136 con su discípulo Abû l-Ḥasan Ibn al-Imâm.