Tosafot on Keritot 17a (יז.) — the commentary online

ר"ג כתנא קמא - וקשה דמאי קאמר כת"ק דלר"ג העלמות אינן מחלקות שהרי כפשטה לא מצינו למימר דהא ת"ק קאמר בשתי העלמות פטור:

אמר לו הבא על בהמה יוכיח שאין גופין מוחלקין - וה"ה דמצי למימר נדה יוכיח שהרי ר"א מחייב על כל אחת ואחת אלא שלא שמע מרבותיו נדה רק בהמה לכך נקט ליה:

מתני' ספק אכל כו' - ומיירי בשעה שאכל היה סבור שהוא שומן דאי יודע שהוא ספק חלב היכי מייתי קרבן הא לא שב מידיעתו: