P
Initializing...
Symplectic paths with vanishing end derivatives define nondegenerate loops · Prove2Me