P
Initializing...
A Conley–Zehnder value of a nondegenerate symplectic path is its index · Prove2Me