مروری بر مبارزات آیت‌الله حیدری؛ مجتهدی که در هفتم تیر به شهادت رسید