P
Initializing...
The standard symplectic form is compatible with $\tilde J$ · Prove2Me