$\frac{\partial f}{\partial \overline{z}}=0$ in distributional sense implies $f$ is holomorphic Let $f=(u,v)\in \mathscr{D}'(U,\mathbb{C})$ be a distribution, where $U\subset\mathbb{C}=\mathbb{R}^2$ is an open set and $u$ and $v$ are the projection of $f$ onto the real and imaginary axis (ie $\langle f,\phi\rangle=\langle u,\phi\rangle+i\langle v,\phi\rangle$). Suppose that
$$
\frac{\partial}{\partial \overline{z}}f=0\qquad\text{in U,}
$$
where $\frac{\partial}{\partial \overline{z}}=\frac{1}{2}\bigg(\frac{\partial}{\partial x}+i\frac{\partial}{\partial y}\bigg)$ and the derivatives are in distributional sense.
Does it follow that $f$ is holomorphic in the classical sense, ie $f\in C^\infty(U,\mathbb{C})$ and the Cauchy-Riemann equations are satisfied?
The obvious idea would be to mollify, get holomorphic functions and then take the limit. But how can we conclude that the limit is still holomorphic?
 A: I've just realized that, if $f$ is in $L^1_{loc}$ and not just in $\mathscr{D}'$, my question can be answered using Weyl's lemma for harmonic functions. Indeed, from $\frac{\partial f}{\partial \overline{z}}=0$ it easily follows that $\Delta u=\Delta v=0$, and then Weyl's lemma implies that $u$ and $v$ are smooth. But then $f$ is smooth and satisfies the Cauchy-Riemann equations, thus is holomorphic.
EDIT: As pointed out by Ben McKay in the comments, the hypothesis that $f\in L^1_{loc}$ is not necessary.
A: The trick is to replace the Cauchy integral formula $f_n(z)=\frac1{2i\pi}\int_{|s-a|=r} \frac{f_n(s)}{s-z}ds$ on a circle
by one on an annulus
$$f_n(z)=\int_r^R \psi_{r,R}(t)\frac1{2i\pi}\int_{|s-a|=t} \frac{f_n(s)}{s-z}ds dt\tag{1}$$
where $f_n= f\ast \phi_n$ is a mollified version of $f$, so $f_n$ is smooth and holomorphic on a slightly smaller open $U_n$, and
$\psi_{r,R}\in C^\infty_c(r,R),\int \psi_{r,R}=1$.
$(1)$ is an integral of $f_n$ against a $C^\infty_c(\Bbb{C})$ function $h_z$ where (locally) $z\to h_z$  is continuous in the $C^\infty_c$ topology,
so there won't be any problem when letting $n\to \infty$, obtaining the local uniform convergence of $f_n$ to an analytic function representing $f$.
