الغرناطي؛ إبراهيم بن أحمد بن عبد الرحمن، ابن عمارة الغرناطي الأنصاري، أبو إسحاق - المكتبة الوقفية للكتب المصورة