Keyword: fictitious-play

Lemma Bracket Invariant For Admissible Sequences admitted

Lemma Cesàro Payoff Convergence From Robinson Lemma admitted

Proposition Continuous Fictitious Play Closes The Duality Gap admitted

Definition Duality Gap In A Matrix Game formalized

Definition Empirical Frequency Of Play formalized

Lemma Euclidean Division Pasting In Robinson Induction admitted

Definition Fictitious Play formalized

Theorem Fictitious Play Convergence admitted

Lemma Robinson Admissible Sequence Lemma admitted

Lemma Subgame Reduction For Non-Useful Indices admitted

Lemma Useful Window Bound For Admissible Sequences admitted