Homotopy Type Theory Whitehead's principle > history

Redirected from "strong deformation retract".

< Whitehead's principle

category: redirected to nlab