ابراهیم مرحومی.[ اِ م ِ م َرْ ] ( اِخ ) از علمای مصر در قرن یازدهم هجری. مولد به سال 1000 هَ.ق. به منوفیه و وفات در 1073. او را بر کتاب شرح الغایه خطیب حاشیه ای است.
