תוספות על שבת קג

בשביעי כמשפטם גרסינן - כדמוכח בפרק קמא דתענית (דף ב:) וכן הוא במסורת הגדולה ודלא כרש"י דגרס בשמיני בס"פ לולב וערבה (סוכה דף מז:):