P
Initializing...
The complex-conjugated loop $-C\,S_\infty^{\mathsf T}C$ is a nondegenerate symmetric loop when $S_\infty$ is · Prove2Me