P
Initializing...
Logarithmic norm lower bound from a Gaussian integer certificate · Prove2Me