Haggahot Ya'avetz on Rosh Hashanah 30a · הגהות יעב"ץ על ראש השנה · free full Hebrew text
גמ׳ מהרה יבנה בהמ״ק ויאמרו כו׳. נ"ב ש"מ מצות אינן בטלות לעתיד עיין נדה (ס"א ב׳) וי"ל תחיית המתים היא אחר ימות המשיח כמ"ש שלהי סוטה. אבל בימות המשיח שיבנה בהמ״ק אין בינם לעוה״ז אלא שעבוד מלכיות וכן לענין קיום המצות אין חלוק: