WikiMini

Schauder fixed point theorem