The normalized complex determinant of a symplectic 2×2 matrix with trace below two is not one

Initializing...

The normalized complex determinant of a symplectic 2×2 matrix with trace below two is not one · Prove2Me