Brouwer's fixed point theorem with isolated fixed points and his fan theorem

From MaRDI portal
Publication:408490