He visited Ayesha and asked her about the night prayer of the Messenger of Allah ﷺ. She said, "He used to pray thirteen rakahs during the night. Then he prayed eleven rakahs, leaving out two rakahs. Then, when he was taken ﷺ, he was praying nine rakahs during the night, and the last of his night prayer was the witr."
حدثنا مؤمل بن هشام حدثنا إسمعيل بن إبراهيم عن منصور بن عبد الرحمن عن أبي إسحق الهمداني
أنه دخل على عائشة فسألها عن صلاة رسول الله ﷺ بالليل فقالت كان يصلي ثلاث عشرة ركعة من الليل ثم إنه صلى إحدى عشرة ركعة وترك ركعتين ثم قبض ﷺ حين قبض وهو يصلي من الليل تسع ركعات وكان آخر صلاته من الليل الوتر
Muslim narrated it in Salat al-Musafirin, chapter on the night prayer and the number of units the Prophet ﷺ prayed at night, etc., hadith no. 740, from the hadith of Abu Ishaq Hamdani through the same chain.