P
Initializing...
Matrix entries of X* are C∞ on U · Prove2Me