Sahih al-Bukhari 1138
Narrated Ibn `Abbas:
The prayer of the Prophet (ﷺ) used to be of thirteen rak`at, i.e. of the night prayer.
حَدَّثَنَا مُسَدَّدٌ، قَالَ حَدَّثَنَا يَحْيَى، عَنْ شُعْبَةَ، قَالَ حَدَّثَنِي أَبُو جَمْرَةَ، عَنِ ابْنِ عَبَّاسٍ ـ رضى الله عنهما ـ قَالَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم ثَلاَثَ عَشْرَةَ رَكْعَةً‏.‏ يَعْنِي بِاللَّيْلِ‏.‏