P
Initializing...
Conley–Zehnder index of a path avoiding the eigenvalue −1 · Prove2Me