שולחן ערוך

  • אורח חיים - סימן שכו
    דיני רחיצה בשבת
סעיף יג :
עיר שישראל ועכו"ם דרים בה ויש בה מרחץ רוחצת בשבת אם רוב עכו"ם מותר לרחוץ בה במוצאי שבת מיד ואם רוב ישראל או אפילו מחצה על מחצה אסור למוצאי שבת עד כדי שיוחם: