P
Initializing...
Symplectic forms are generalized complex of type $0$ · Prove2Me