瑜伽論記 17.201

17.201

七、明感果多少，及以斷除惡趣業，預流已斷者，據實亦斷招善趣業，如北洲等，今約全斷故略不說。

Seventh, it clarifies how many fruitions are brought about and the severing of karma of the bad destinies. Regarding stream-enterers who have already severed [them], in fact they have also severed karma that brings about good destinies, such as in the Northern Continent, etc.; but here, because the focus is on complete severing, this is omitted and not mentioned.