Proof. [04XA]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
It is shown in [NX16a, 4.2.4] that is a strong deformation retract of . This implies that every continuous retraction is homotopic to the identity on relative to ; in particular, this is true for the retraction . ∎