اهدای کتابخانه شادروان استاد محمدامین ریاحی به کتابخانه بنیاد دائرة ‌المعارف اسلام