רי"ף עירובין א.

1מבוי שהוא גבוה מעשרים אמה ימעט רבי יהודה אומר אינו צריך הרחב מעשר אמות ימעט ואם יש לו צורת פתח אע"פ שרחב מעשר אמות א"צ למעט:

2גמ' (דף ג.) כיצד ממעטו נותן עליו קורה מעשרים אמה ולמטה כי היכי דהוי חלליה עשרים דאמרינן * [תוספתא ר"פ] מקצת קורה בתוך עשרים ומקצתה למעלה מעשרי' מקצת סכך בתוך עשרים ומקצתו למעלה מעשרים אמר רבה במבוי כשר ובסוכה פסולה וכו' ואסיקנא רבא אמר אחד זה ואחד זה כשר חלל סוכה תנן חלל מבוי תנן עשרים אמה:

3(דף ד:) היה גבוה מעשרים אמה ובא למעטו ממעטו בקורה רחבה טפח ודיו (דף ה.) דקורה משום היכר והיכר של מטה כהיכר שלמעלה וכשם שלמעלה דיה טפח כדתנן דיה לקורה שתהא רחבה טפח כך הקורה שממעט בה למטה ממנה דיה שתהא רחבה טפח.

4ואם היה גבהו פחות מעשרה טפחים חוקק בו ארבע אמות על ארבע אמות כדי להשלימו לעשרה טפחים כאביי ואע"ג דפליג עליה רב יוסף דהוא רביה ואמר חוקק בו ארבעה על ארבעה כיון דסוגיין כאביי דאמר משך מבוי בארבע אמות הלכתא כותיה:

5איתמר מבוי שנפרץ מצדו וכלפי ראשו