Rashi on Sukkah 51a:7 · רש"י על סוכה · free full Hebrew text
ור' ירמיה אמר כו' - לעיל קאי אפלוגתא דרבי יוסי ברבי יהודה ורבנן ופליג אדרב יוסף:
הכי גרסינן דרבי יוסי סבר שמחה יתירה נמי דוחה שבת הואיל ושמחת מצוה היא ובחליל אין איסור מלאכה אלא שבות בעלמא: