Along paths in $\mathrm{Sp}^*(2n)$ the increment of $\arg\hat\rho$ depends only on the endpoints

Initializing...

Along paths in $\mathrm{Sp}^*(2n)$ the increment of $\arg\hat\rho$ depends only on the endpoints · Prove2Me