Ben Ish Hai, Halachot 1st Year, Vayikra
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.
אין ישנים בבית הכנסת אפילו שינת עראי, ולכן אם מצא חבירו מתנמנם חייב להקיצו וכל שכן אם מצאו מתנמנם בעת התפלה וכן בעת הדרשה שבזה מסיר אזנו משמוע תורה והרי עבירה גוררת עבירה, ולצורך בית הכנסת מותר לישן שם: