La chiesa di "Sant'Angelo fino ai cieli" si trova dietro la fortezza di Castel Sant'Angelo?

 

 Liutprando nella sua Antapodosis, nel brano qui sotto riportato, ci descrive questo particolare della città di Roma.

"All'entrata della città di Roma vi è una fortezza 

 costruita con opera meravigliosa e di straordinaria
robustezza, davanti alla cui porta c'è un ponte
preziosissimo fabbricato sul Tevere, che è percorso da chi
entra e da chi esce da Roma: non vi è altra via di
passaggio, se non attraverso quello. Tuttavia ciò non si
può fare se non col consenso di chi custodisce la fortezza"
La fortezza stessa poi, per tralasciare il resto, è di altezza
tale che, la chiesa che appare sulla sua cima, edificata in
onore dell'arcangelo Michele, sommo principe della
milizia celeste, vien detta "Chiesa di Sant' Angelo fino ai
cieli". Il re, per fiducia nella fortezza, lasciò lontano
l'esercito, e con pochi giunse a Roma."

L'attuale storiografia identifica la fortezza descritta come il Mausoleo di Adriano ((Castel Sant'Angelo).

Chi sa indicarmi quindi quale sarebbe la chiesa che "appare sulla cima" dietro la fortezza!