P
Initializing...
A binary quartic inequality with an antisymmetric term · Prove2Me