Keyword: fixed-point

Theorem Brouwer Fixed Point Theorem staged

Theorem Brouwer Fixed Point Theorem For A Simplex proved

Theorem Discounted Value Is the Unique Shapley Fixed Point staged

Definition Evaluation Game Equilibrium staged

Lemma Fixed Point Theorem For Retracts Of A Simplex staged

Theorem Kakutani Fixed Point Theorem staged

Proof plan Kakutani Fixed-Point Proof of the Minimax Theorem admitted

Theorem Kakutani From Two-Player Nash Existence staged

Proposition Rationalizable Set As Largest Best-Response Fixed Set staged

Lemma Scarf Combinatorial Lemma (Colorful Room Existence) proved

Theorem Tarski Fixed Point Theorem For Compact Euclidean Lattices staged