Brouwer's fixed point theorem with sequentially at most one fixed point

Abstract

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.