P

Initializing...

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