TY  - RPRT
TI  - Kakutani's fixed point theorem in constructive mathematics
AU  - Matthew Hendtlass
PY  - 2016
UR  - https://arxiv.org/abs/1611.02531
ID  - 1611.02531
ER  -