Remark 1
Tag 09OQ, permanent. Cite it as [Bourbaki, Tag 09OQ].
Integration, IX, p. 26, § 2. Operations on measures
When T and X are locally compact, this definition is equivalent to that of Ch. V, §6, No. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.