P
Initializing...
Loops in $\mathbb C\setminus\{0\}$ of winding number zero are null-homotopic rel base point · Prove2Me