Homotopy invariance of winding number (source code)

= Homotopy invariance of winding number

A homotopy through closed paths avoiding the base point cannot change the integer winding number.