Keyword: convexity

Theorem Correlated Equilibrium Set Is Convex And Compact staged

Theorem Deterministic Blackwell Sequence staged

Theorem Farkas Lemma proved

Lemma Intersection Lemma admitted

Definition Quasi-Concavity And Semicontinuity admitted

Theorem Theorem Of The Alternative proved