P
Initializing...
Identities of the symplectic unit matrix $\gamma_0$ · Prove2Me