علاءالدین علی بن ابراهیم

رجوع شود به:ابن شاطر (دمشق ح ۷۰۵ـ همان جا ح ۷۷۷ق)