Darkhei Moshe, Even HaEzer 164:3 · דרכי משה · free full Hebrew text
בנ"י פרק החולץ דף תי"ד ע"ב דוקא שכנסה קודם שהוכר עוברה אבל אם הוכר עוברה וכנסה מוציאין אותה ממנו אף לאחר שהפילה וכן הוא בהגהות אלפסי שם.