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