No-retraction theorem (source code)

= No-retraction theorem

No closed disc retracts continuously onto its boundary. This is equivalent to <Brouwer fixed-point theorem> by the standard ray construction and the antipodal map.