Title: Sharḥ mukhtaṣar ʻalá Bahjat al-anwār