Corollary 1
Tag 09NX, permanent. Cite it as [Bourbaki, Tag 09NX].
Integration, chapter IX, § 1. Premeasures and measures on a topological space
For a function to be negligible, it is necessary and sufficient that it be locally negligible and moderated.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.