שם הספרעריכה
עמד, יש גם גור אריה על חולין של מהרא"ל צינץ ואולי ספרים נוספים. הספר הנוכחי (על שבת-עירובין-פסחים) מכונה לעתים (וכך במהדורה המקורית בראש כל עמוד) חידושי גור אריה אז אולי כדאי להעביר לשם הזה? זה יכול לחסוך סוגריים. מהדורה קמא (שיחה) 11:30, 7 באוגוסט 2024 (IDT)