P

Initializing...

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