Alexander trick (source code)

= Alexander trick
{c}
{wiki}

A homeomorphism of a closed disc that fixes its boundary pointwise is isotopic relative to the boundary to the identity. Radially interpolate the action toward the center after identifying the disc with the unit ball.