there is no one who has left ... who will not receive

This could be stated in positive form. AT: "everyone who has left ... will receive" (See: rc://en/ta/man/translate/figs-doublenegatives)

in the world to come, eternal life

"also eternal life in the world to come"