P
Initializing...
Theorem 2.7 — first-derivative estimate |∂ᵢu(x)| ≤ (n/r) max |u| for harmonic u · Prove2Me