P
Initializing...
The actual large-core first return strictly preserves the square-root tangent cone · Prove2Me