P
Initializing...
X* · v is C∞ when v is C∞ · Prove2Me