שולחן ערוך

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