P
Initializing...
A linear and bilinear bound at fixed squared norm six · Prove2Me