P
Initializing...
Remark 2.21(3): the Gray isotopy fixes points where $\dot\alpha_t$ vanishes · Prove2Me