P
Initializing...
Paths in $SP(n)$ with the same Conley–Zehnder index are joined inside $SP(n)$ · Prove2Me