What is the name of the following lemma?

56 Views Asked by At

I thought that the lemma

Lemma: Let $f \in L^1_{loc}$. Assume that for all $\phi \in \mathscr{D}$, $\int f\phi = 0$. Then $f = 0$.

had been given the name of a famous mathematician, but I can't remember. How do you call this lemma?