P
Initializing...
Theorem 6.17 fails without the integrability of $\alpha'$ · Prove2Me