Mishneh LaMelech on Mishneh Torah, Sabbath Chapter 14
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.
ארבע רשויות לשבת רה"י ור"ה וכרמלית וכו'. (א"ה לענין עיר קדשנו ירושלים אם היא כרמלית או רה"ר עיין בדברי הרב המחבר פ"ב מהלכות ביאת מקדש דין י"ט. ועיין מ"ש ה"ה פ"א מה' עירובין ד"ה וכן יע"ש):