Symplectic loops fixing a basis vector are homotopic to loops in $\mathrm{Sp}(2n)\diamond\mathrm{Id}$

Initializing...

Symplectic loops fixing a basis vector are homotopic to loops in $\mathrm{Sp}(2n)\diamond\mathrm{Id}$ · Prove2Me