P
Initializing...
Uniform second-order bounds for the logarithmic exit field · Prove2Me