פתח הבית על חגיגה

[יקים]

נחוץ לי ספר פתח הבית על (רמב"ם?) חגיגה.
אני לא מוצא באצר ולא בהיברו.
נראה לי שזה מריך להיות בחלק ב' ממהדורת דירנפורט.
אני לא מוצא בשום מקום יבשום ביכ"נ.
זה קיים בבר אילן??

[איש גלילי]

קיים בבר אילן.
פתח הבית ח"ב קיים באוצר, אבל לא ראיתי שם.

[איש גלילי]

מצאתי בהיברו בוקס (בספר שבאוצר חסרים עמודים רבים).