P
Initializing...
A cubic bound under three triangle-style affine constraints · Prove2Me