Gilyon HaShas on Chagigah Daf 17a
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.
תוס' ד"ה אף עצרת וכו' בירושלמי אר"י. עיין מ"ל פ"ג הלכה ו' מהלכות אבל: