Corollary 1

Tag 08N2, permanent. Cite it as [Bourbaki, Tag 08N2].

— If two functions $f, g$ in $\mathscr{K}(X; \mathbf{C})$ are equal on $\operatorname{Supp}(\mu)$ , then $\mu(f) = \mu(g)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.