Fixed-point-free rotation of an annulus (source code)

= Fixed-point-free rotation of an annulus

Rotation through any nonzero angle defines a continuous self-map of a circular annulus with no fixed point. Hence an annulus does not have the <fixed-point property>.