Brouwer fixed-point theorem (source code)

= Brouwer fixed-point theorem
{c}

Every continuous self-map of a closed disc has a fixed point.