Piskei Tosafot on Bava Batra Comment 11
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.
בית הכנסת אין ישנין בהן אפילו עראי. כשהן חריבין עושין בהן כל צרכן לבד מקלות ראש. ואסור ליכנס לתוכו מפני הגשמים ולצורך בית הכנסת מותר לישן בה כמו בליל יום הכפורים וכן אוכלין שם בעיבור שנים ולכך מצריך לבדוק חמץ שם. ד"ה ועייליה: ע"ב