Haggahot Ya'avetz on Rosh Hashanah Daf 30a
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.
גמ׳ מהרה יבנה בהמ״ק ויאמרו כו׳. נ"ב ש"מ מצות אינן בטלות לעתיד עיין נדה (ס"א ב׳) וי"ל תחיית המתים היא אחר ימות המשיח כמ"ש שלהי סוטה. אבל בימות המשיח שיבנה בהמ״ק אין בינם לעוה״ז אלא שעבוד מלכיות וכן לענין קיום המצות אין חלוק: