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