True killed two-sided discounted exit reward equals the measurable countable-path reward

Initializing...

True killed two-sided discounted exit reward equals the measurable countable-path reward · Prove2Me