page 638, entry [1000]Open original source
إبراهيم بن أحمد بن عبد الله، أبو الفضل المُخَرِّمي. سمع: ابن النَّقور، والصَّريفيني، وابن البنا.سمع منه: المبارك بن كامل، وكان شيخًا صالحًا، كثير التلاوة للقرآن، محافظًا على الجماعات. توفي سنة عشر وخمسمائة. قاله ابن النجار. ٩٢٨ -