P
Initializing...
Symmetry of the matrix J₀(A − Id)(A + Id)⁻¹ for symplectic A · Prove2Me