Beit Yosef, Orach Chayim 425:1 · בית יוסף · free full Hebrew text
ר"ח שחל להיות בשבת ערבית שחרית ומנחה מתפלל שבע וכו' בפ"ב די"ט (יז.) ובפ' בכל מערבין (עירובין מ.) שבת שחל להיות בר"ח או בחש"מ ערבית שחרית ומנתה מתפלל שבע ואומר מעין המאורע בעבודה ואם לא אמר מחזירין אותו: