لطفا علامه حلی را معرفی بفرمایید. ایشان چه نقشی در رواج تشیع در ایران داشته اند؟