P
Initializing...
Symplectic 2×2 matrices have determinant one · Prove2Me