רש"י על פסחים · Rashi on Pesachim 54b:4
1מתני' ובכל מקום - בין נהגו בין לא נהגו:
2תלמידי חכמים בטלין - ממלאכה אותו היום:
3רבן שמעון כו' - ולא אמרינן מיחזי כיוהרא ואם רצה ליבטל רשאי: