P
Initializing...
The block sum $A\diamond B$ of symplectic matrices is symplectic · Prove2Me