Haggahot Ya'avetz on Tractate Derekh Eretz Zuta Chapter 1
Can copy this into an AI, or connect the whole library to your assistant. For deeper learning, you can directly use the original seforim, sites, and apps.
וי״א כו׳. נ״ב ומוציא כנגדו חירם. אע״פ שמפורש בכתוב בעדן גן אלהים היית. מפני שסרח וגורש משם. והיינו נמי דלא קחשיב אדה״ר ובניו. וכן יש עוד אחד שנכנס בג״ע ויצא משם רב״א בפרק המקבל (בבא מציעא דף קיד:):