ثم الخارج إلى أن وافاه الأجل في الثاني عشر من ربيع الأول عام ١٣٥٤ ه‌. ق.
له مؤلفات عديدة في الفقه والأصول، منها: حاشيته على كتاب المكاسب للشيخ الأنصاري، وهي معروفة بحاشية الإيرواني، وهي من أشهر الحواشي المكتوبة على هذا الكتاب (١).
- البجنوردي راجع: (١: ٥٦٩، رقم ١١) - البحراني راجع: (١: ٥٦٩، رقم ١٢) - بحر العلوم = العلامة الطباطبائي راجع: (١: ٥٧٠، رقم ١٣) - البروجردي راجع: (١: ٥٧٠، رقم ١٤) - البهائي راجع: (١: ٥٧١، رقم ١٥) - التستري راجع: (٣: ٥١٧، رقم ٢١) - التوني = الفاضل التوني راجع: (٢: ٤٦٩، رقم ٢٠) - الحائري راجع: (١: ٥٧١، رقم ١٦) - الحر العاملي راجع: (١: ٥٧٢، رقم ١٧) - الحكيم = السيد محسن راجع: (١: ٥٧٣، رقم ١٨) - الحكيم = السيد محمد تقي راجع: (١: ٥٧٣، رقم ١٩) - الحلبي = أبو الصلاح راجع: (١: ٥٧٤، رقم ٢٠) - الحلبي راجع: (٣: ٥١٨، رقم ٢٨)