Remark
Tag 096E, permanent. Cite it as [Bourbaki, Tag 096E].
Integration, chapter V, § 7. Integration with respect to an induced measure
— a) Cor. 3 has already been proved by another method (Ch. IV, § 5, No. 7, Lemma 3). b) By virtue of Cor. 3, the corollaries 1,2,3 of Prop. 1, Prop. 2, Theorem 1 and its corollaries 1,2 extend at once to a complex measure.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.