P
Initializing...
Local first-order potential bound above the dimension · Prove2Me