Ra'avad on Sifra, Tzav, Section 2
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.
יבמהיבא עליה מצוה על היבם לייבם יותר מלחלוץ לפי שבתחלה היתה בכלל היתר רצה כונסה רצה אינו כונסה נאסרה וחזרה והותרה יכול תחזור להיתירה הראשון רצה מייבם רצה חולץ ת"ל יבמה יבא עליה מצוה לייבם: