Haggahot Ya'avetz on Gittin Daf 3b
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.
תוס' בד"ה וכי לא בעי וכו' דמדאורייתא אין חילוק לכתחלה לדיעבד. נ"ב אע"ג דודאי אשכחן נעשי' הרבה דגלי קרא מיהא מסתמא לא אשכחן הכי: