Corollary 6
Tag 08UY, permanent. Cite it as [Bourbaki, Tag 08UY].
Integration, chapter IV, § 5. Measurable functions and sets
— If f is a measurable mapping of X into a normed space F, then the numerical function |f| is measurable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.