إبراهيم بن مجاهد وهو ابن أبي ثواب المؤدب ذكره الشيخ في من لم يرو عنهم عليهم السلام.
دار التعارف للمطبوعات - بيروت-ط 1( 1983) , ج: 2- ص: 202