P
Initializing...
A mixed polynomial bound on a simplex · Prove2Me