P
Initializing...
An eighth-power bound for symmetric mixed products · Prove2Me