P

Initializing...

A cyclic cubic lower bound under a quartic norm constraint · Prove2Me