P
Initializing...
Nonnegativity of an expanded sextic polynomial · Prove2Me