ویکی امام خمینی:آیا می‌دانستید که...؟/۲۰۲۳/هفته ۱۱
- … پدر امام‌خمینی، سیدمصطفی مجتهد کمره‌ای در سال سال ۱۳۲۰ ق به دست اشرار منطقه به شهادت رسید.
- … پدر امام‌خمینی غیر از رسیدگی به امور دینی مردم خمین در برابر تعدیات والیان و اشرار منطقه می‌ایستاد.
- … مادر امام‌خمینی، هاجر آغاخانم، دختر میرزا احمد مجتهد خوانساری از عالمان پارسای خمین، میان سال‌های ۱۲۸۵- ۱۲۸۸ ق، در خمین زاده شد و در سال ۱۳۳۷ ق در خمین درگذشت و در قم به خاک سپرده شد.