P
Initializing...
A quartic norm bound with a cubic correction · Prove2Me