Brouwer's fixed point theorem with sequentially at most one fixed point: a constructive analysis

Abstract

In this paper we present a constructive proof of Brouwer's fixed point theorem with sequentially at most one fixed point, and apply it to the mini-max theorem of zero-sum games.