P
Initializing...
Polynomial certificates imply the scalar envelope bound · Prove2Me