P
Initializing...
X⁻¹ · v is C∞ when v is C∞ · Prove2Me