P
Initializing...
A symmetric sixth-degree inequality in mixed powers · Prove2Me