VaggaSamannāgatakathā

Abhidhammapiṭaka · Kathāvatthu · Vol. 37 · Section 909

[909] [Sakavādin:] Should one who is endowed with the fruition of stream-entry (sotāpattiphala) be called "a stream-enterer" (sotāpanna)? [Paravādin:] Yes. [Sakavādin:] Is an Arahant (arahā) endowed with the fruition of stream-entry? [Paravādin:] Yes. [Sakavādin:] Is that very Arahant the stream-enterer? [Paravādin:] It should not be said thus. …

English translation from the Pali (Siam Raṭṭha edition) — under review, not for citation.

This passage also appears in 5 other places