P
Initializing...
Zero trace permits extension of weak first derivatives by zero · Prove2Me