Gilyon HaShas on Eruvin Daf 43b
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.
תוס' ד"ה יתיב רב נחמן בר יצחק וכו' משמע דרב נחמן בר יצחק לאו היינו ר"נ. עי' לעיל דף יח ע"ב תוס' ד"ה מתקיף ולקמן עב ע"ב: