Meiri on Sanhedrin Daf 53b
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.
מי שמת ונפלה אשתו לפני יבם והיא אצלו מחייבי כרת כגון אחות אשתו וכיוצא בה הרי היא פטורה מן החליצה ומן היבום והיא אצלו ערוה אפילו מתה אשתו אח"כ הואיל והיתה לה ערוה בשעה שנזקקה לו היתה אצלו מחייבי לאוין או מחייבי עשה או אפילו משניות שמדברי סופרים חולצת ולא מתיבמת ושמא תאמר יבא עשה של יבום וידחה לא תעשה וכל שכן שנייה שמדברי סופרים הרי בביאה ראשונה נתקיימה מצות יבום ונמצאו כל שאר הביאות באיסור אבל אם היתה מותרת ליבם אע"פ שהיתה אסורה על הבעל בלאו הואיל וקדושיו תפסו לו בה מתיבמת חוץ ממחזיר גרושתו אחר שנשאת ומת כמו שיתבאר במקומו: