P
Initializing...
Continuity of the global-frame coordinates of $\xi$ · Prove2Me