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