مجتهدِ شجاع و همراه امام (ره)

حضرت آیت‌الله خامنه‌ای: «آشنایی من با مرحوم آقای حاج آقا مصطفی آقای خمینی رحمةالله‌علیه از خیلی دیروقت هست... کاملاً از نزدیک من ایشان را می‌شناختم... ایشان عالم بود، فاضل بود، مجتهد بود.» ۱۳۶۲/۷/۲۰ رسانه KHAMENEI.IR به‌مناسبت سالروز شهادت آیت‌اللّه سیّد مصطفی خمینی در تاریخ ۱ آبان‌ماه ۱۳۵۶، بخشی از بیانات رهبر انقلاب در این باره را در این نماهنگ منتشر میکند.