P
Initializing...
A degree-eight inequality between symmetric products · Prove2Me