Corollary 3
Tag 0966, permanent. Cite it as [Bourbaki, Tag 0966].
Integration, chapter V, § 7. Integration with respect to an induced measure
— For the measure to be zero, it is necessary and sufficient that X be locally *-negligible*.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.