P
Initializing...
Product rule for weak partial derivatives with a $C^1$ real factor · Prove2Me