P
Initializing...
The complex-linear part of a symplectic matrix is invertible · Prove2Me