P
Initializing...
Partial derivative total degree bounded by that of $h$ · Prove2Me