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