P
Initializing...
Theorem 4.1, p. 16 — along every orbit of (RL), every (iteratively) dominated strategy becomes extinct · Prove2Me