P
Initializing...
Quantitative common-face rigidity: $\|H-I\|_\infty\le\min\{2,4\varepsilon^{1/3}\}$ · Prove2Me