بحرالعلوم، محمدمهدی بن مرتضی