P
Initializing...
The real symplectic group Sp(2n) is path-connected · Prove2Me