علامه شهید سید مصطفی خمینی یک دایره‌المعارف عمیق و جامع علمی بود - تسنیم