P
Initializing...
If $A\diamond B$ is symplectic, then $A$ is symplectic · Prove2Me