P
Initializing...
The Conley–Zehnder index is locally constant on SP(n) · Prove2Me