خلاصه ای از زندگی نامه مرحوم آیت الله حاج آقا مرتضی تهرانی رحمة الله علیه