Deformation retract: Difference between revisions