Haggahot Ya'avetz on Shabbat Daf 157a
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.
גמ' ההיא כר' יוסי. נ"ב נ״ל לגרוס בר' יוסי בבי"ת ופירושו דתני ומסיים בה ד"ר יוסי בר"י:
שם חד אמר בכל השבת. נ"ב מסכת שבת (ועי' ברמב"ן ורשב"א ור"ן):