P
Initializing...
Lemma 1 — spherical symmetrization increases $(\Delta f)^2-\|f_{ij}\|^2$ · Prove2Me