שלמה בן מאיר – הבדלי גרסאות

'''רבי שלמה בן הרב רבינו [[מאיר בן שמואל|מאיר]]''' הוא נכדו של [[רש"י]] וקרוי על שמו, היה אחד מ[[בעלי התוספות]].