مِشْكَاةُ الْمَصَابِيحِ
Mishkat al-Masabih 1191
Prayer
Prayer at Night - Section 1
وَعَنْهَا قَالَتْ: كَانَ النَّبِيُّ صَلَّى اللَّهُ عَلَيْهِ وَسَلَّمَ يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً مِنْهَا الْوتر وركعتا الْفجْر. رَوَاهُ مُسلم
She said the Prophet (ﷺ) used to pray thirteen rak'as during the night, including the witr and two rak'as of the dawn prayer. Muslim transmitted it.
Mishkat al-Masabih, 1191صَحِيح (الألباني)