The normalized complex determinant of a symplectic 2×2 matrix with positive trace has positive real part

Initializing...

The normalized complex determinant of a symplectic 2×2 matrix with positive trace has positive real part · Prove2Me