Corollary
Tag 09R3, permanent. Cite it as [Bourbaki, Tag 09R3].
Integration, chapter IX, § 5. Measures on completely regular spaces
— *With notations as in Prop. 5, suppose that there exists a bounded positive measure on such that for all ; then there exists a complex measure on such that for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.