金剛般若經疏論纂要 1.141

1.141

斯陀含，此云一來，斷欲界六品修惑，從此命終，一往天上、一來人間，便得阿羅漢果，故名一來。而實無來者，已悟無我，誰能往來？

Sakṛdāgāmin is translated here as 'once-returner'. Having severed the six grades of afflictions of cultivation in the desire realm, when his life here ends, he goes once to the heavens and returns once to the human realm, whereupon he attains the fruit of an arhat; hence he is called 'once-returner'. As for 'in reality there is no coming', having already awakened to selflessness, who could go or come?