Weyl lemma
= Weyl lemma
{c}
The Weyl lemma says that every locally integrable distributional solution of $\Delta u=0$ agrees almost everywhere with a smooth harmonic function. Convolution with a <mollifier> and the harmonic mean value property provide a standard proof.