Beit Yosef, Yoreh De'ah 260:1 · בית יוסף · free full Hebrew text
מצות עשה לכל אדם מישראל שימול את בנו בפ"ק דקידושין (כט.) ומייתי לה מדכתיב וימל אברהם את יצחק בנו וקאמר התם לא מיפקדא דכתיב כאשר צוה אותו אלהים אותו ולא אותה: