P

Initializing...

Theorem 2.20 (proof): Gray isotopy with $\psi_t^*\alpha_t=\lambda_t\alpha_0$ · Prove2Me