عزای عمومی یک چهارم جمعیت جهان برای شهید رئیسی