חכמת שלמה על עירובין כד:

רש"י בד"ה אין עושין כו' כיון דגודא גבוה עשר כל מה כו' כצ"ל:

תוס' בד"ה ההוא רחבה כו' דיורין ליעביד מחיצה כו' לרב אין עושין כו' אתי שפיר הא דלא כו' השביל ליעביד צורת הפתח כו' כצ"ל והד"א: