Keyword: kakutani

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