Rashi on Eruvin 12b:1 · רש"י על עירובין · free full Hebrew text
דאית ליה גידודי - מה שנשאר מן הפרצה בגובה עשרה אבל הים כיסהו: