Jerusalem Talmud Eruvin
1aא׳ א

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

גמרא ר' יוסה אמר לה סתם רבי אחא בשם רב רבנן ילפין לה מפתחו של היכל ורבי יודה יליף לה מפתח