Math.Fixed Point

Theorem Brouwer Fixed Point Theorem staged

Theorem Brouwer Fixed Point Theorem For A Simplex proved

Lemma Fixed Point Theorem For Retracts Of A Simplex staged

Theorem Kakutani Fixed Point Theorem staged

Lemma Scarf Combinatorial Lemma (Colorful Room Existence) proved