Sahih al-Bukhari 1138
Sahih al-Bukhari · Book 19: Prayer at Night (Tahajjud) · How was the Salat of the Prophet (pbuh) and how many Rak'a he used to offer at night?
Narrated Ibn `Abbas:
حَدَّثَنَا مُسَدَّدٌ ، قَالَ حَدَّثَنَا يَحْيَى ، عَنْ شُعْبَةَ ، قَالَ حَدَّثَنِي أَبُو جَمْرَةَ ، عَنِ ابْنِ عَبَّاسٍ ـ رضى الله عنهما ـ قَالَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم ثَلاَثَ عَشْرَةَ رَكْعَةً. يَعْنِي بِاللَّيْلِ.
The prayer of the Prophet (ﷺ) used to be of thirteen rak`at, i.e. of the night prayer.