P
Initializing...
In $\mathrm{Sp}(2)$, a loop of degree zero moves $e_1$ along a null-homotopic loop in $\mathbb R^2\setminus\{0\}$ · Prove2Me