רבי יצחק בן אשר הלוי (הריב"א) · ציוני צדיקים