P
Initializing...
A smooth symmetric loop, possibly degenerate, has index $\alpha^- + \alpha^+$ · Prove2Me