P

Initializing...

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