P
Initializing...
A quadratic bound from a determinant constraint · Prove2Me