רש"י על עירובין · Rashi on Eruvin 80b:7
1שירי עירוב - שנתמעט משעורו:
2כל שהוא - אין צריך להוסיף [ורבי יוסי פליג את"ק]: