Null-homotopic map (source code)

= Null-homotopic map

= Null-homotopic
{synonym}

A map is null-homotopic when it is homotopic to a constant map.