Abu Salama reported,

I came to Ayesha and said, "Mother, tell me about the prayer of the Messenger of Allah ﷺ."She replied, "His prayer during the month of Ramadan and at other times was thirteen rakahs at night, including the two rakahs of Fajr."

Muslim 1726

Sahih

و حدثنا عمرو الناقد حدثنا سفيان بن عيينة عن عبد الله بن أبي لبيد سمع

أبا سلمة قال

أتيت عائشة فقلت أي أمه أخبريني عن صلاة رسول الله ﷺ فقالت كانت صلاته في شهر رمضان وغيره ثلاث عشرة ركعة بالليل منها ركعتا الفجر

مسلم 1726صحيح
Contents
Reference
Commentary
Ayat
Collection
Sahih Muslim
Book
Travelers' prayer and its shortening
Chapter
Night prayer, the number of rakats of the Prophet ﷺ at night, that Witr is one rakat, and that one rakat is a valid prayer
Numbering
Darussalam 1726
Muslim 1726