Tashbetz Katan Siman 212
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.
ואומר יום טוב שחל להיות בשבת צריך לומר ברכה אחת מעין שבע. אבל אין לומר אלהינו ואלהי אבותינו רצה במנוחתנו קדשנו במצותיך וכו' בשמחה ובששון שבת ומועדי קדשך. ואין לומר מקדש השבת וישראל והזמנים. לפי שלא נתקנה ברכה מעין שבע כי אם בשבת: