Remark 2
Tag 09ON, permanent. Cite it as [Bourbaki, Tag 09ON].
Integration, IX, p. 25, § 2. Operations on measures
Similarly, if is a complex measure, is said to be locally -integrable if it is locally -integrable, and one defines the measure . One has (Ch. V, §5, No. 2, Prop. 2). In this No., we shall leave aside everything concerning non-positive measures.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.