P
Initializing...
Symplectic loops along which $\hat\rho$ has degree zero are contractible · Prove2Me