Tosafot on Nedarim 31b (לא:) — the commentary online

שנכרתו - עליה י"ג בריתות צא וחשוב [מואתנה] (את) בריתי ביני וביניך עד בריתי אקים את יצחק (בראשית י״ז:כ״א) יש י"ג בריתות:

הנה דם הברית אשר כרת וכו' - אע"ג דפשטיה דקרא בהרצאת דמים בדם שנתן משה באצבעו משתעי מ"מ מוקי ליה נמי בדם מילה כשנכנסים לברית כדאמרינן (כריתות דף ט.) במה נכנסו אבותינו לברית במילה וטבילה והרצאת דמים מצינו דם מילה קרי דם ברית דכתיב (שמות כ״ד:ח׳) הנה דם הברית אשר וגו':