Sahih Muslim · Hadith 1760

وحدثنا عمرو الناقد، حدثنا سفيان بن عيينة، عن عبد الله بن أبي لبيد، سمع أبا سلمة، قال أتيت عائشة فقلت أى أمه أخبريني عن صلاة رسول الله صلى الله عليه وسلم ‏.‏ فقالت كانت صلاته في شهر رمضان وغيره ثلاث عشرة ركعة بالليل منها ركعتا الفجر ‏.‏

It is reported on the authority of 'A'isha that the prayer of Allah's Messenger (may peace be upon him) in the night consisted of ten rak'ahs. He observed a Witr and two rak'ahs (of Sunan) of the dawn prayer, and thus the total comes to thirteen rak'ahs.

Gradings are classical jarḥ-wa-taʿdīl, name-matched to a rijāl index (not individually re-verified).