P
Initializing...
Translation covariance of whole-space weak derivatives · Prove2Me