Ayesha reported,

The Messenger of Allah ﷺ used to pray, between finishing the evening prayer which people call al-atamah and the dawn, eleven cycles. He would give the closing salutation between every two cycles and conclude with a single cycle as witr. When the caller to prayer fell silent after the dawn call and the daybreak became clear to him and the caller came to him, he would rise and pray two brief cycles, then lie down on his right side until the caller came to him for the call to commence the prayer.

Muslim 1718

Sahih

و حدثني حرملة بن يحيى حدثنا ابن وهب أخبرني عمرو بن الحارث عن ابن شهاب عن عروة بن الزبير

عن عائشة زوج النبي ﷺ قالت

كان رسول الله ﷺ يصلي فيما بين أن يفرغ من صلاة العشاء وهي التي يدعو الناس العتمة إلى الفجر إحدى عشرة ركعة يسلم بين كل ركعتين ويوتر بواحدة فإذا سكت المؤذن من صلاة الفجر وتبين له الفجر وجاءه المؤذن قام فركع ركعتين خفيفتين ثم اضطجع على شقه الأيمن حتى يأتيه المؤذن للإقامة

مسلم 1718صحيح
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 1718
Muslim 1718