سُبْحَانَ الَّذِي أَسْرَىٰ بِعَبْدِهِ لَيْلًا مِنَ الْمَسْجِدِ الْحَرَامِ إِلَى الْمَسْجِدِ الْأَقْصَى
Glory be to Him who took His servant by night from the Sacred Mosque to the Farthest Mosque. (Qur’an 17:1)
Asrā denotes the night journey; bi-ʿabdihi identifies the Prophet ﷺ as God's servant, and the two named mosques identify the route. The verse directly establishes the journey, without itself enumerating the details of successive heavenly stations.
A claim explicitly established in scripture should be distinguished from additional details known through transmission. That distinction keeps both the scope and the strength of a proof clear.