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