آیت الله رمضانی: مرحوم محققی لاهیجی، مهاجری الی الله و مجاهدی علمی بود