P
Initializing...
K superlevel bound (Chen–Li eq. 4.14, exact rank, corrected constants) · Prove2Me