At the place of $K_\alpha$ over $t=\infty$, a local parameter $x$ with $dx\ne0$ spanning all differentials

Initializing...

At the place of $K_\alpha$ over $t=\infty$, a local parameter $x$ with $dx\ne0$ spanning all differentials · Prove2Me