En el siglo XI se la conocía como la iglesia de Petrus Leonis por el nombre de la familia de origen judío que había reformado el vecino Teatro de Marcelo para convertirlo en una fortaleza.