P
Initializing...
A sixth-degree bound for a squared symmetric cubic sum · Prove2Me